From ca9fdb4cef8bdf4aa2982e495784acaa98250ada Mon Sep 17 00:00:00 2001
From: infirit <infirit@gmail.com>
Date: Mon, 19 May 2014 18:45:07 +0200
Subject: Remove has_separator property from gtkbuilder files

---
 plugins/externaltools/tools/tools.ui | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/externaltools')

diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 8b40ad98..fde220d1 100755
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -131,7 +131,6 @@
     <property name="default_height">500</property>
     <property name="type_hint">dialog</property>
     <property name="skip_taskbar_hint">True</property>
-    <property name="has_separator">False</property>
     <signal name="focus_out_event" handler="on_tool_manager_dialog_focus_out"/>
     <signal name="response" handler="on_tool_manager_dialog_response"/>
     <child internal-child="vbox">
-- 
cgit v1.2.1