[Xfce-bugs] [Bug 15703] Panel hides on start of pager window drag

[bugzilla-daemon at xfce.org]

https://bugzilla.xfce.org/show_bug.cgi?id=15703

--- Comment #6 from Simon Steinbeiss <ochosi at xfce.org> ---
Created attachment 8768
  --> https://bugzilla.xfce.org/attachment.cgi?id=8768&action=edit
Patch to fix the pager plugin

I had written a patch before Theo's comment. I may have to look at that part of
the panel code again, as it may be more generic and beneficial to all plugins,
whereas I only fixed the pager.

In any case, feel free to take a look at the patch - it fixes the problem too.

-- 
You are receiving this mail because:
You are the assignee for the bug.