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 sets.
*bump* This indeed makes sense... I'd expect that setting a top-margin (where my panel is) will produce panel margin maximized window instead of panel + margin smaller than panel maximized window
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.