From 1be85e66fe4e905a36b205bbee95a37a4755797c Mon Sep 17 00:00:00 2001
From: o9000 <mrovi9000@gmail.com>
Date: Wed, 15 Nov 2017 12:08:12 +0100
Subject: [PATCH] Taskbar: thumbnails (optimizations)

---
 src/taskbar/task.c    |  2 +-
 src/taskbar/taskbar.c | 12 +++++++-----
 src/taskbar/taskbar.h |  2 +-
 3 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/src/taskbar/task.c b/src/taskbar/task.c
index 7e3291f..066e13a 100644
--- a/src/taskbar/task.c
+++ b/src/taskbar/task.c
@@ -650,7 +650,7 @@ void set_task_state(Task *task, TaskState state)
         return;
 
     task_refresh_thumbnail(task);
-    taskbar_start_thumbnail_timer();
+    taskbar_start_thumbnail_timer(TRUE);
 
     if (state == TASK_ACTIVE && task->current_state != state) {
         clock_gettime(CLOCK_MONOTONIC, &task->last_activation_time);
diff --git a/src/taskbar/taskbar.c b/src/taskbar/taskbar.c
index a7f1d1f..79b3c4b 100644
--- a/src/taskbar/taskbar.c
+++ b/src/taskbar/taskbar.c
@@ -358,14 +358,14 @@ void init_taskbar_panel(void *p)
         }
     }
     init_taskbarname_panel(panel);
-    taskbar_start_thumbnail_timer();
+    taskbar_start_thumbnail_timer(FALSE);
 }
 
-void taskbar_start_thumbnail_timer()
+void taskbar_start_thumbnail_timer(gboolean fast)
 {
     if (!panel_config.g_task.thumbnail_enabled)
         return;
-    change_timeout(&thumbnail_update_timer, 100, 10 * 1000, taskbar_update_thumbnails, NULL);
+    change_timeout(&thumbnail_update_timer, 100, 10 * 1000, taskbar_update_thumbnails, (void*)(long)fast);
 }
 
 void taskbar_init_fonts()
@@ -793,17 +793,19 @@ void update_minimized_icon_positions(void *p)
     }
 }
 
-void taskbar_update_thumbnails(void *arg)
+void taskbar_update_thumbnails(void *fast)
 {
     if (!panel_config.g_task.thumbnail_enabled)
         return;
+    change_timeout(&thumbnail_update_timer, 10 * 1000, 10 * 1000, taskbar_update_thumbnails, NULL);
     for (int i = 0; i < num_panels; i++) {
         Panel *panel = &panels[i];
         for (int j = 0; j < panel->num_desktops; j++) {
             Taskbar *taskbar = &panel->taskbar[j];
             for (GList *c = (taskbar->area.children && taskbarname_enabled) ? taskbar->area.children->next : taskbar->area.children; c; c = c->next) {
                 Task *t = (Task *)c->data;
-                task_refresh_thumbnail(t);
+                if (!fast || t->current_state == TASK_ACTIVE)
+                    task_refresh_thumbnail(t);
             }
         }
     }
diff --git a/src/taskbar/taskbar.h b/src/taskbar/taskbar.h
index deddec2..10e03dd 100644
--- 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();