fixed : changed active task with wm_menu option

[chaz/tint2] / src / taskbar / task.c

diff --git a/src/taskbar/task.c b/src/taskbar/task.c
index c180f85c62115b0941564be834a34888d8eb2738..0586854d3a07c34e4d2c3e4b19e9940ce99f7217 100644 (file)
--- a/src/taskbar/task.c
+++ b/src/taskbar/task.c
@@ -383,6 +383,8 @@ void active_task()
        }
 
        Window w1 = window_get_active ();
+       //printf("Change active task %ld\n", w1);
+
        tsk2 = task_get_task(w1);
        if (!tsk2) {
                Window w2;