widget-editor: Replace margin right/left for end/start (!9) · Merge requests · GNOME / Glade

Carlos Soriano requested to merge margins-deprecation into master Jul 27, 2018

They have been deprecated for some time now and break RTL languages.

This works implements margin-end and margin-start and deprecates margin-left and margin-start.

All four properties are shown to be able to upgrade from previous gtk3 versions, ideally this will be gone when Glade moves to gtk4.

widget-editor: Replace margin right/left for end/start