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 8470d4b2631b..75d217f3f453 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -109,6 +109,10 @@ sub check_whitespaces($) { bad_line("use margin-end instead of margin-right", $_, "ui"); } + if (/<object class="GtkAlignment"/) + { + bad_line("use margin-start (etc) on child instead of a GtkAlignment", $_, "ui"); + } if ((/translatable="yes"/) and not(/context=/)) { bad_line("translatable .ui file line without context", $_, "ui"); |