bin/lint-ui.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
New commits:
commit f22ad61038d5bf10dbe9f2ce0bdf0ef996be72f6
Author: Samuel Mehrbrodt <[email protected]>
Date: Wed Sep 20 10:05:17 2017 +0200
lint-ui: Error when label contains a colon
Change-Id: I6c71db450fdd41c83e4b4b3e6dff9719a42ef2d8
Reviewed-on: https://gerrit.libreoffice.org/42520
Tested-by: Jenkins <[email protected]>
Reviewed-by: Samuel Mehrbrodt <[email protected]>
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):
_______________________________________________
Libreoffice-commits mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/libreoffice-commits
