summaryrefslogtreecommitdiff
path: root/plugins/docinfo/docinfo.ui
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/docinfo/docinfo.ui')
-rwxr-xr-xplugins/docinfo/docinfo.ui1
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/docinfo/docinfo.ui b/plugins/docinfo/docinfo.ui
index bb73d40f..b8a5f064 100755
--- a/plugins/docinfo/docinfo.ui
+++ b/plugins/docinfo/docinfo.ui
@@ -16,7 +16,6 @@
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
<property name="focus_on_map">True</property>
<property name="urgency_hint">False</property>
- <property name="has_separator">False</property>
<child internal-child="vbox">
<object class="GtkVBox" id="dialog-vbox1">
<property name="visible">True</property>