[Libreoffice-commits] core.git: bin/lint-ui.py

[Noel (via logerrit)]

 bin/lint-ui.py |    8 ++++++++
 1 file changed, 8 insertions(+)

New commits:
commit 4d19361336b32585d5cd5bd5faccba4467b7d5e8
Author:     Noel <noelgrandin at gmail.com>
AuthorDate: Fri Oct 2 12:56:09 2020 +0200
Commit:     Noel Grandin <noel.grandin at collabora.co.uk>
CommitDate: Fri Oct 2 19:02:20 2020 +0200

    lint-ui: add check for upper in GtkAdjustment
    
    Change-Id: I3a9859dbb4dbb0aeb2446176a239843a19d40e1e
    Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103833
    Tested-by: Jenkins
    Reviewed-by: Noel Grandin <noel.grandin at collabora.co.uk>

diff --git a/bin/lint-ui.py b/bin/lint-ui.py
index 5dc33eaaec2a..26c011f2637a 100755
--- a/bin/lint-ui.py
+++ b/bin/lint-ui.py
@@ -96,6 +96,14 @@ def check_radio_buttons(root):
         if len(radio_underlines) < 1:
             lint_assert(False, "No use_underline in GtkRadioButton with id = '" + radio.attrib['id'] + "'", radio)
 
+def check_adjustments(root):
+    adjustments = [element for element in root.findall('.//object') if element.attrib['class'] == 'GtkAdjustment']
+    for adjusment in adjustments:
+        uppers = radio.findall("./property[@name='upper']")
+        assert len(uppers) <= 1
+        if len(uppers) < 1:
+            lint_assert(False, "No upper in GtkAdjustment with id = '" + radio.attrib['id'] + "'", radio)
+
 def check_menu_buttons(root):
     buttons = [element for element in root.findall('.//object') if element.attrib['class'] == "GtkMenuButton"]
     for button in buttons: