Margins of maximized windows not updated when margins are changed

Submitted by Raymond Jennings

Assigned to Nick Schermer

Link to original bug (#10312)

Description

I noticed that changing the margin settings doesn't take effect immediately, and I have to restore and remaximize open windows for it to take effect on them.

Version: Unspecified