X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=2cdea8981be30b2897d8870de51c41a681979f47;hb=58c762effe6bbe1ee418b57a1f461bbd33173bd2;hp=361ccfbd176fecf69b085fb658f1f6d5790c66e1;hpb=60fc61091d0f4a706aff2a7b6d7a2a1b0910d7dd;p=pspp

diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui
index 361ccfbd17..2cdea8981b 100644
--- 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>