summaryrefslogtreecommitdiff
path: root/data/gpm-prefs-deprecated.ui
diff options
context:
space:
mode:
Diffstat (limited to 'data/gpm-prefs-deprecated.ui')
-rw-r--r--data/gpm-prefs-deprecated.ui1
1 files changed, 0 insertions, 1 deletions
diff --git a/data/gpm-prefs-deprecated.ui b/data/gpm-prefs-deprecated.ui
index 702b487..6af3e40 100644
--- a/data/gpm-prefs-deprecated.ui
+++ b/data/gpm-prefs-deprecated.ui
@@ -56,7 +56,6 @@
<property name="resizable">False</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
- <property name="has_separator">False</property>
<child internal-child="vbox">
<object class="GtkVBox" id="dialog-vbox1">
<property name="visible">True</property>