fixed bug : clock resize when date changed, number of desktop changed
git-svn-id: http://tint2.googlecode.com/svn/trunk@51 121b4492-b84c-0410-8b4c-0d4edfb3f3cc
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user