Taskbar: thumbnails (optimizations)

2017-11-15 12:08:12 +01:00
parent 2fe7efd4fe
commit 1be85e66fe
3 changed files with 9 additions and 7 deletions
--- a/src/taskbar/taskbar.h
+++ b/src/taskbar/taskbar.h
@@ -72,7 +72,7 @@ void init_taskbar_panel(void *p);

 gboolean resize_taskbar(void *obj);
 void taskbar_default_font_changed();
-void taskbar_start_thumbnail_timer();
+void taskbar_start_thumbnail_timer(gboolean fast);

 // Reloads the entire list of tasks from the window manager and recreates the task buttons.
 void taskbar_refresh_tasklist();