panel: Watch the panel`s WM_DESKTOP property and reset it if it changes

This commit is contained in:
o9000
2016-03-24 19:36:55 +01:00
parent 5f82ef4d3b
commit d398795202
3 changed files with 14 additions and 9 deletions

View File

@@ -241,7 +241,7 @@ void init_panel()
mask,
&att);
long event_mask = ExposureMask | ButtonPressMask | ButtonReleaseMask | ButtonMotionMask;
long event_mask = ExposureMask | ButtonPressMask | ButtonReleaseMask | ButtonMotionMask | PropertyChangeMask;
if (p->mouse_effects || p->g_task.tooltip_enabled || p->clock.area._get_tooltip_text ||
(launcher_enabled && launcher_tooltip_enabled))
event_mask |= PointerMotionMask | LeaveWindowMask;