[gtk/kill-tree-menu: 43/52] buildertool: Drop menu properties

[Matthias Clasen <matthiasc src gnome org>]

commit a830a8fd125cac7a1a955bca718f5f310561e818
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat Dec 28 09:52:06 2019 -0500

    buildertool: Drop menu properties

 gtk/tools/gtk-builder-tool-simplify.c | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c
index 06689ce9c5..449a367aff 100644
--- 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;