Lerking/gtk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Drop the margin property

Browse Source 
Replace it with margin-start, -end, -top, -bottom throughout.
This commit is contained in:
Matthias Clasen
2020-02-25 20:57:20 -05:00
parent a9c05193a7
commit b5bacb3be6
108 changed files with 1153 additions and 321 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
examples/application6/prefs.ui
View File

@@ -8,7 +8,10 @@
<object class="GtkBox" id="vbox">
<child>
<object class="GtkGrid" id="grid">
<property name="margin">6</property>
<property name="margin-start">6</property>
<property name="margin-end">6</property>
<property name="margin-top">6</property>
<property name="margin-bottom">6</property>
<property name="row-spacing">12</property>
<property name="column-spacing">6</property>
<child>