Workspace "margins" not honored when moving windows

Submitted by Éric

Assigned to Olivier Fourdan @olivier

Link to original bug (#9536)

Description

This is moderately annoying - in "workspace settings", i have a "margin" of 1 pixel on each side of the screen to easily access the background (windowlist/app menu, panels etc) ...this margin is respected by the window manager only when maximizing a window. If i simply move a window until it "snaps" or "edge-resists" against the screen border, this setting is simply ignored and i don't have my 1 pixel of margin. Perhaps having panels respect this margin might be useful as well...?

Proposed solution: maybe in the settings box, there could be a checkbox for maximized windows, one for other windows, and maybe one for panels?