If I create a desktop panel and set auto_hide_size 1 then warping the mouse cursor to the edge of the screen where the panel is docked does NOT unhide the panel. If I set the panel auto_hide_size to something greater than 1 I am able to unhide the panel only by moving the cursor 1 or more pixels offset from the extreme edge of the screen.<br />
<br />
In other words, it appears that when the cursor is at any extreme screen edge position the panel does not get a mouse move/enter event. Or for some other reason on my system the extreme screen edge mouse position events are not being handled by the docked panel.
↧