[gnome-menus] editor: Remove has_separator property

[Vincent Untz <vuntz src gnome org>]

commit adb08fee8c3677e539b9d1ca8fab9be1c4bf14b9
Author: Vincent Untz <vuntz gnome org>
Date:   Wed Oct 6 11:58:31 2010 +0200

    editor: Remove has_separator property
    
    It's gone in new GTK+.

 simple-editor/gmenu-simple-editor.ui |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/simple-editor/gmenu-simple-editor.ui b/simple-editor/gmenu-simple-editor.ui
index 82c98cc..4abc1c0 100644
--- a/simple-editor/gmenu-simple-editor.ui
+++ b/simple-editor/gmenu-simple-editor.ui
@@ -15,7 +15,6 @@
     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
     <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
     <property name="focus_on_map">True</property>
-    <property name="has_separator">False</property>
     <child internal-child="vbox">
       <object class="GtkVBox" id="dialog-vbox1">
         <property name="visible">True</property>