From 116530c35d056ef86c3913a514ba87e012a6aa42 Mon Sep 17 00:00:00 2001
From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 29 May 2013 15:54:03 +0200
Subject: [PATCH] Syntax editor: Remove obsolete property "has-resize-grip"

---
 src/ui/gui/syntax-editor.ui | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 51e589ec73..6c7adc9110 100644
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -220,6 +220,5 @@
   </object>
   <object class="GtkStatusbar" id="statusbar2">
     <property name="visible">True</property>
-    <property name="has_resize_grip">True</property>
   </object>
 </interface>
-- 
2.30.2