nilix/tint2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Hide tooltip on desktop change (fixes issue #593)

Browse source
This commit is contained in:
o9000 2016-09-18 13:00:49 +02:00
parent c3a86e185d
commit 7dbc894d2e
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/tint.c
View file

@ -1024,8 +1024,11 @@ void event_property_notify(XEvent *e)
taskbar_refresh_tasklist();
reset_active_task();
update_all_taskbars_visibility();
if (old_desktop != server.desktop)
tooltip_trigger_hide();
panel_refresh = TRUE;
} else if (old_desktop != server.desktop) {
tooltip_trigger_hide();
for (int i = 0; i < num_panels; i++) {
Panel *panel = &panels[i];
set_taskbar_state(&panel->taskbar[old_desktop], TASKBAR_NORMAL);