diff options
| author | Bastien Nocera <hadess@hadess.net> | 2015-07-31 17:18:38 +0200 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2015-07-31 18:08:10 +0200 |
| commit | dc0330cc066332409c70019dbe48f358db547c48 (patch) | |
| tree | 1658dda490b72a924af96b503f648798e9624d10 | |
| parent | af3f4443e4319c37d695fcae2995c62f8f75deb3 (diff) | |
| download | gnome-bluetooth-dc0330cc066332409c70019dbe48f358db547c48.tar.gz | |
settings: More padding around the devices list
Note that this might trigger an existing bug when the device names are
too long. See https://bugzilla.gnome.org/show_bug.cgi?id=735163
https://bugzilla.gnome.org/show_bug.cgi?id=753103
| -rw-r--r-- | lib/bluetooth-settings-widget.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/bluetooth-settings-widget.c b/lib/bluetooth-settings-widget.c index 437740f1..6aebfcb3 100644 --- a/lib/bluetooth-settings-widget.c +++ b/lib/bluetooth-settings-widget.c @@ -1490,8 +1490,8 @@ add_device_section (BluetoothSettingsWidget *self) vbox = WID ("vbox_bluetooth"); box = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0); - gtk_widget_set_margin_start (box, 50); - gtk_widget_set_margin_end (box, 50); + gtk_widget_set_margin_start (box, 128); + gtk_widget_set_margin_end (box, 128); gtk_widget_set_margin_top (box, 6); gtk_widget_set_margin_bottom (box, 24); gtk_box_pack_start (GTK_BOX (vbox), box, TRUE, TRUE, 0); |