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
This indeed makes sense... I'd expect that setting a top-margin (where my panel is) will produce
panel + margin smaller than panel
This is not a window manager issue, it's a panel issue (the panel is responsible for settings struts)
Ahumm... It's indeed a WM enhancement request, margins is xfwm4 specific and is nothing standard...
Is that still an ongoing problem? I cannot find a UI in 4.10/4.11 for setting margins for maximised windows.
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.
WONTFIX as per Olivier's decision.