summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>2017-09-20 10:05:17 +0200
committerSamuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>2017-09-21 09:28:12 +0200
commitf22ad61038d5bf10dbe9f2ce0bdf0ef996be72f6 (patch)
tree17cd6e14f354ae804806182ee0066e5934acee4b
parentf28db2168700bd611a33deb3c9aeabb9a35e215c (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>
-rwxr-xr-xbin/lint-ui.py2
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):