buildertool: Drop menu properties

diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c
index 06689ce9c5105e53e940bcc5120cf644b1ec4d6f..449a367affdb8837babe0e21e76896fc990b93b8 100644 (file)
--- a/gtk/tools/gtk-builder-tool-simplify.c
+++ b/gtk/tools/gtk-builder-tool-simplify.c
@@ -676,10 +676,6 @@ property_has_been_removed (Element      *element,
     { "GtkBox", "pack-type", PROP_KIND_PACKING },
     { "GtkHeaderBar", "position", PROP_KIND_PACKING },
     { "GtkPopoverMenu", "position",PROP_KIND_PACKING },
-    { "GtkMenu", "left-attach", PROP_KIND_PACKING },
-    { "GtkMenu", "right-attach", PROP_KIND_PACKING },
-    { "GtkMenu", "top-attach", PROP_KIND_PACKING },
-    { "GtkMenu", "bottom-attach", PROP_KIND_PACKING }
   };
   gchar *canonical_name;
   gboolean found;