gtk4: remove stray 'gravity' property

Change-Id: Ia68e3d96a7fbc381fc4215800b33dd21d2a38119
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/129138
Tested-by: Jenkins
Reviewed-by: Caolán McNamara <caolanm@redhat.com>

1 files changed, 13 insertions, 0 deletions

diff --git a/bin/ui-rules-enforcer.py b/bin/ui-rules-enforcer.py
index 5079d8e67ce1..fcf2d0505b97 100755
--- a/bin/ui-rules-enforcer.py
+++ b/bin/ui-rules-enforcer.py
@@ -364,6 +364,18 @@ def remove_skip_pager_hint(current):
   if skip_pager_hint != None:
     current.remove(skip_pager_hint)
 
+def remove_gravity(current):
+  gravity = None
+  for child in current:
+    remove_gravity(child)
+    if child.tag == "property":
+      attributes = child.attrib
+      if attributes.get("name") == "gravity":
+        gravity = child
+
+  if gravity != None:
+    current.remove(gravity)
+
 def remove_expander_label_fill(current):
   label_fill = None
   isexpander = current.get('class') == "GtkExpander"
@@ -600,6 +612,7 @@ enforce_entry_text_column_id_column_for_gtkcombobox(root)
 remove_entry_shadow_type(root)
 remove_double_buffered(root)
 remove_skip_pager_hint(root)
+remove_gravity(root)
 remove_toolbutton_focus(root)
 enforce_toolbar_can_focus(root)
 enforce_button_always_show_image(root)