Merge master into gtk3.

[pspp] / src / ui / gui / syntax-editor.ui

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 361ccfbd176fecf69b085fb658f1f6d5790c66e1..2cdea8981be30b2897d8870de51c41a681979f47 100644 (file)
--- a/src/ui/gui/syntax-editor.ui
+++ b/src/ui/gui/syntax-editor.ui
@@ -232,6 +232,5 @@
   </object>
   <object class="GtkStatusbar" id="statusbar2">
     <property name="visible">True</property>
-    <property name="has_resize_grip">True</property>
   </object>
 </interface>