void cleanup()
{
- cleanup_timeout();
cleanup_systray();
cleanup_tooltip();
cleanup_clock();
imlib_context_disconnect_display();
cleanup_server();
+ cleanup_timeout();
if (server.dsp) XCloseDisplay(server.dsp);
}
server.got_root_win = 1;
}
+ // Change name of desktops
+ else if (at == server.atom._NET_DESKTOP_NAMES) {
+ printf("_NET_DESKTOP_NAMES\n");
+ panel_refresh = 1;
+ }
// Change number of desktops
else if (at == server.atom._NET_NUMBER_OF_DESKTOPS) {
if (!taskbar_enabled) return;