Created attachment 1859 workspace margins Hi, Attached is a diff for the workspace settings to add margins workspace configuration. It misses a display icon in the center. Please check it.
Created attachment 1860 workspace margins There was an error introduced in the glade file, the titles were set from translatable to non-translatable.
Created attachment 1862 workspace margins Adds the monitor icon
Created attachment 1863 monitor icon
Committed rev. 28019. Cheers! Olivier.