diff options
Diffstat (limited to '.git-hooks/pre-commit')
| -rwxr-xr-x | .git-hooks/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index 75d217f3f453..1a8e2b12bd44 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -113,6 +113,10 @@ sub check_whitespaces($) { bad_line("use margin-start (etc) on child instead of a GtkAlignment", $_, "ui"); } + if (/<property name="use[-_]stock"/ ) + { + bad_line("use translation context 'stock' and the English string as button label instead", $_, "ui"); + } if ((/translatable="yes"/) and not(/context=/)) { bad_line("translatable .ui file line without context", $_, "ui"); |