! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
workspace margins relative to panel/taskbar


Description Wes Cooper 2004-12-04 14:14:01 CET
Consider: a top panel (small size) and a maximized window with about 12 pixels
of empty space around it in order to access the desktop menus and generally look
nice. Workspace margins are: left 12, right 12, top 45, bottom 12. The margins
should have been set to 12, 12, 12, 12 to get the desired effect; that is, the
panel or taskbar size should be automatically added to whatever margin the user
Comment 1 Harold Aling 2007-02-15 20:27:47 CET

This indeed makes sense... I'd expect that setting a top-margin (where my panel is) will produce

maximized window

instead of

panel + margin smaller than panel
maximized window
Comment 2 Olivier Fourdan editbugs 2007-04-05 07:16:53 CEST
This is not a window manager issue, it's a panel issue (the panel is responsible for settings struts)
Comment 3 Olivier Fourdan editbugs 2007-04-05 18:39:40 CEST
Ahumm... It's indeed a WM enhancement request, margins is xfwm4 specific and is nothing standard...
Comment 4 Steve Dodier-Lazaro editbugs 2015-02-07 19:53:15 CET
Is that still an ongoing problem? I cannot find a UI in 4.10/4.11 for setting margins for maximised windows.
Comment 5 Olivier Fourdan editbugs 2015-02-07 21:18:36 CET
margins are something xfwm4 specific and are from the screen border, not struts.

Margins are still there (unfortunately), it's in the workspace settings.

Given that it's  completely non-stantdard, it will removed at some point (e.g. for the next major xfwm4 version), so I see no point in changing this at this point.

Should be wontfix.
Comment 6 Steve Dodier-Lazaro editbugs 2015-02-07 23:28:04 CET
WONTFIX as per Olivier's decision.

Bug #569

Reported by:
Wes Cooper
Reported on: 2004-12-04
Last modified on: 2015-02-07


Olivier Fourdan
CC List:
1 user



Additional information