diff options
| -rwxr-xr-x | bin/lint-ui.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/lint-ui.py b/bin/lint-ui.py index 84916229c9a0..111fa3e18b21 100755 --- a/bin/lint-ui.py +++ b/bin/lint-ui.py @@ -122,7 +122,7 @@ def check_menu_buttons(root): images = button.findall("./property[@name='image']") assert(len(labels) <= 1) if len(labels) < 1 and len(images) < 1: - if sys.argv[1] == "vcl/uiconfig/ui/combobox.ui": and button.attrib['id'] == "overlaybutton": + if sys.argv[1] == "vcl/uiconfig/ui/combobox.ui" and button.attrib['id'] == "overlaybutton": pass else: lint_assert(False, "No label in GtkMenuButton with id = '" + button.attrib['id'] + "'", button) |