else if (at == server.atom._NET_NUMBER_OF_DESKTOPS) {
if (!taskbar_enabled) return;
server.nb_desktop = server_get_number_of_desktop ();
+ if (server.nb_desktop <= server.desktop) {
+ server.desktop = server.nb_desktop-1;
+ }
cleanup_taskbar();
init_taskbar();
for (i=0 ; i < nb_panel ; i++) {
active_task();
panel_refresh = 1;
}
- else if (at == server.atom._XROOTPMAP_ID) {
+ else if (at == server.atom._XROOTPMAP_ID || at == server.atom._XROOTMAP_ID) {
// change Wallpaper
for (i=0 ; i < nb_panel ; i++) {
set_panel_background(&panel1[i]);
if (e.xmotion.state & button_mask)
event_button_motion_notify (&e);
- if (!g_tooltip.enabled) break;
Panel* panel = get_panel(e.xmotion.window);
Area* area = click_area(panel, e.xmotion.x, e.xmotion.y);
if (area->_get_tooltip_text)
}
case LeaveNotify:
- if (g_tooltip.enabled)
- tooltip_trigger_hide();
+ tooltip_trigger_hide();
break;
case Expose: