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: