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 51e589ec730c048cbd2a72799fc8c4800dff0f1c..6c7adc9110049698cc2b0ca946329c56eda6daff 100644 (file)
--- 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>