From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 29 May 2013 13:54:03 +0000 (+0200)
Subject: Syntax editor: Remove obsolete property "has-resize-grip"
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=116530c35d056ef86c3913a514ba87e012a6aa42;p=pspp

Syntax editor: Remove obsolete property "has-resize-grip"
---

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>