I just read that there is a workaround for this issue: increasing the
panel size from 24 pixel to 26 pixel.

So I started a third experiment:

1) I increased the panel size to 26 pixel.
2) I start an maximized application "Firefox" (one that opens full screen on my 
computer) --> icon is shown
3) I drag and drop the panel with the workspace switcher on it from "Bottom" to 
"Top" (the size of the workspace switcher doesn't change, of course) --> icon 
is still shown
4) I drag and drop the panel with the workspace switcher on it from "Top" to 
"Left" (which decreases the workspace switcher) --> icon disappears as was 
expected
5) I drag and drop the panel with the workspace switcher on it from "Left" to 
"Botton" (original position) --> icon is shown again!

So it seems that this workaround really works. If it doesn't in the long
run I will add a comment to this bug.

-- 
icons in workspace switcher
https://launchpad.net/bugs/51800

--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to