diff options
| author | Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de> | 2017-09-20 10:05:17 +0200 |
|---|---|---|
| committer | Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de> | 2017-09-21 09:28:12 +0200 |
| commit | f22ad61038d5bf10dbe9f2ce0bdf0ef996be72f6 (patch) | |
| tree | 17cd6e14f354ae804806182ee0066e5934acee4b /bin | |
| parent | f28db2168700bd611a33deb3c9aeabb9a35e215c (diff) | |
lint-ui: Error when label contains a colon
Change-Id: I6c71db450fdd41c83e4b4b3e6dff9719a42ef2d8
Reviewed-on: https://gerrit.libreoffice.org/42520
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
Diffstat (limited to 'bin')
| -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 88fb2cc460a1..34669c85690a 100755 --- a/bin/lint-ui.py +++ b/bin/lint-ui.py @@ -86,7 +86,7 @@ def check_title_labels(root): for title in titles: if title is None: continue - words = re.split(r'[^a-zA-Z0-9_-]', title.text) + words = re.split(r'[^a-zA-Z0-9:_-]', title.text) first = True for word in words: if word[0].islower() and (word not in IGNORED_WORDS or first): |