[gnome-terminal] prefs: Remove the gap between the two main panes
- From: Egmont Koblinger <egmontkob src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] prefs: Remove the gap between the two main panes
- Date: Mon, 18 Mar 2019 09:43:15 +0000 (UTC)
commit e61d7b9b7e37ca539ee64c397b3f228876cb8c2d
Author: Egmont Koblinger <egmont gmail com>
Date: Mon Mar 18 10:38:11 2019 +0100
prefs: Remove the gap between the two main panes
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/88
src/preferences.ui | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/src/preferences.ui b/src/preferences.ui
index 4788959a..f42b652c 100644
--- a/src/preferences.ui
+++ b/src/preferences.ui
@@ -251,7 +251,6 @@
<object class="GtkHBox" id="main-hbox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="spacing">12</property>
<child>
<object class="GtkFrame">
<property name="visible">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]