Comment 6 for bug 1029202

Revision history for this message
Arthur Borsboom (arthurborsboom) wrote :

After analysis it seemed that the pads are not visible in the workspace switcher and the taskbar, when window decorations are turned off. This relationship sounds nice, however it is nicer if you can just set your preference yourself.

Therefore I have added two new options in the preferences (regardless of the window decorations setting):

* hide from taskbar and task switcher (alt-tab)
* hide from workspace switcher

Will be released with v4.6