diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ui-rules-enforcer.py | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/bin/ui-rules-enforcer.py b/bin/ui-rules-enforcer.py index a344c88d6c2e..16764533ea59 100755 --- a/bin/ui-rules-enforcer.py +++ b/bin/ui-rules-enforcer.py @@ -256,6 +256,26 @@ def remove_spin_button_max_length(current): if max_length != None: current.remove(max_length) +def remove_label_pad(current): + xpad = None + ypad = None + islabel = current.get('class') == "GtkLabel" + for child in current: + remove_label_pad(child) + if not islabel: + continue + if child.tag == "property": + attributes = child.attrib + if attributes.get("name") == "xpad": + xpad = child + elif attributes.get("name") == "ypad": + ypad = child + + if xpad != None: + current.remove(xpad) + if ypad != None: + current.remove(ypad) + def remove_track_visited_links(current): track_visited_links = None islabel = current.get('class') == "GtkLabel" @@ -451,6 +471,7 @@ remove_check_button_image_position(root) remove_spin_button_input_purpose(root) remove_spin_button_max_length(root) remove_track_visited_links(root) +remove_label_pad(root) remove_expander_label_fill(root) remove_expander_spacing(root) enforce_menubutton_indicator_consistency(root) |