diff options
| author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2016-10-29 20:00:14 +0900 |
|---|---|---|
| committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2016-10-29 20:00:14 +0900 |
| commit | 82bc6865f0e90119c2c310f305d7092ebdbfb38d (patch) | |
| tree | 1d6138b3b64eff10199384b56f13371355a99dcd /gladeui | |
| parent | 26b63379678d76763c08a014abea755a6f0483ad (diff) | |
| download | glade-82bc6865f0e90119c2c310f305d7092ebdbfb38d.tar.gz | |
GladeEditorProperty: Add 4px box spacing
This causes the optional properties with the added check mark to
look much better.
From patch contributed by Lukas K <lu@0x83.eu> on bug 351645
Diffstat (limited to 'gladeui')
| -rw-r--r-- | gladeui/glade-editor-property.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gladeui/glade-editor-property.c b/gladeui/glade-editor-property.c index cc3eded5..58cd27e8 100644 --- a/gladeui/glade-editor-property.c +++ b/gladeui/glade-editor-property.c @@ -655,6 +655,7 @@ glade_editor_property_init (GladeEditorProperty *eprop) { eprop->priv = glade_editor_property_get_instance_private (eprop); + gtk_box_set_spacing (GTK_BOX (eprop), 4); gtk_orientable_set_orientation (GTK_ORIENTABLE (eprop), GTK_ORIENTATION_HORIZONTAL); } |