Hello,
in version 1.3.6-1 I cannot reproduce hiding taskbar. Right-click on
free taskbar space gives expected menu.
Now I see another strange behaviour: taskbar hides only if
touches/covers any window and mouse pointer leave it in the area of
touching/covering. See video recording on
http://www.youtube.com/watch?v=bDC91BF9LiU (on that channel, I put also
video related to bug #564296 -
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=564296).
Regards
Tomasz
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org