panel_items : fixed change number of desktop

git-svn-id: http://tint2.googlecode.com/svn/trunk@554 121b4492-b84c-0410-8b4c-0d4edfb3f3cc
This commit is contained in:
thilor77
2010-09-19 08:34:24 +00:00
parent 1bd5fd9937
commit d44628b16c
3 changed files with 28 additions and 17 deletions

View File

@@ -487,11 +487,13 @@ void event_property_notify (XEvent *e)
// Change number of desktops
else if (at == server.atom._NET_NUMBER_OF_DESKTOPS) {
if (!taskbar_enabled) return;
server.nb_desktop = server_get_number_of_desktop ();
cleanup_taskbar();
init_taskbar();
for (i=0 ; i < nb_panel ; i++) {
set_panel_items(&panel1[i]);
init_taskbar_panel(&panel1[i]);
set_panel_items_order(&panel1[i]);
panel1[i].area.resize = 1;
}
visible_object();
@@ -501,6 +503,7 @@ void event_property_notify (XEvent *e)
}
// Change desktop
else if (at == server.atom._NET_CURRENT_DESKTOP) {
if (!taskbar_enabled) return;
int old_desktop = server.desktop;
server.desktop = server_get_current_desktop ();
for (i=0 ; i < nb_panel ; i++) {