Comment 3 for bug 51800

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.