fixed bug : clock resize when date changed, number of desktop changed

[chaz/tint2] / src / taskbar / taskbar.h

diff --git a/src/taskbar/taskbar.h b/src/taskbar/taskbar.h
index 881eab2df33d97bc5f49f37be2cb1d6a2d6c22be..807e2856dd529c777358802aed331ad2c7dbc2b1 100644 (file)
--- a/src/taskbar/taskbar.h
+++ b/src/taskbar/taskbar.h
@@ -34,7 +34,7 @@ void task_refresh_tasklist ();
 // return 1 if task_width changed
 int resize_tasks (Taskbar *tskbar);
 
-void resize_taskbar(void *panel);
+void resize_taskbar(void *obj);
 
 
 #endif