diff options
Diffstat (limited to 'data/gpm-prefs-deprecated.ui')
| -rw-r--r-- | data/gpm-prefs-deprecated.ui | 1 |
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> |