When WM_HINTS changes for a window, reload the icon

2016-08-20 18:07:18 +02:00
parent cbb76849ea
commit 008eebe4b1
2 changed files with 26 additions and 16 deletions
--- a/src/tint.c
+++ b/src/tint.c
@@ -1203,6 +1203,8 @@ void event_property_notify(XEvent *e)
 				add_urgent(task);
 			}
 			XFree(wmhints);
+			task_update_icon(task);
+			panel_refresh = TRUE;
 		}

 		if (!server.got_root_win)