fixed : changed active task with wm_menu option

git-svn-id: http://tint2.googlecode.com/svn/trunk@228 121b4492-b84c-0410-8b4c-0d4edfb3f3cc

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;