diff options
Diffstat (limited to '.git-hooks')
| -rwxr-xr-x | .git-hooks/pre-commit | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index fd0cfeea2e62..bc9b723d039d 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -101,6 +101,14 @@ sub check_whitespaces($) { bad_line("use tooltip_text instead of tooltip_markup", $_, "ui"); } + if (/<property name="stock[-_]id"/ ) + { + bad_line("use an icon-name listed at https://developer.gnome.org/gtk3/stable/gtk3-Stock-Items.html", $_, "ui"); + } + if (/<property name="stock"/ ) + { + bad_line("use an icon-name listed at https://developer.gnome.org/gtk3/stable/gtk3-Stock-Items.html", $_, "ui"); + } if ((/translatable="yes"/) and not(/context=/)) { bad_line("translatable .ui file line without context", $_, "ui"); |