diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/lint-ui.py | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/bin/lint-ui.py b/bin/lint-ui.py index 111fa3e18b21..7bbf46a2a113 100755 --- a/bin/lint-ui.py +++ b/bin/lint-ui.py @@ -139,12 +139,8 @@ def check_frames(root): frames = [element for element in root.findall('.//object') if element.attrib['class'] == 'GtkFrame'] for frame in frames: frame_alignments = frame.findall("./child/object[@class='GtkAlignment']") - assert len(frame_alignments) <= 1 - if len(frame_alignments) < 1: - lint_assert(False, "No GtkAlignment in GtkFrame with id = '" + frame.attrib['id'] + "'", frame) - if len(frame_alignments) == 1: - alignment = frame_alignments[0] - check_alignment_top_padding(alignment) + if len(frame_alignments) > 0: + lint_assert(False, "Deprecated GtkAlignment in GtkFrame with id = '" + frame.attrib['id'] + "'", frame) def check_alignment_top_padding(alignment): top_padding_properties = alignment.findall("./property[@name='top_padding']") |