diff options
| author | Noel <noelgrandin@gmail.com> | 2020-10-01 16:26:59 +0200 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2020-10-02 10:17:40 +0200 |
| commit | 2e3afaebd027d0280b871c3515c4999b7912692a (patch) | |
| tree | ecf94f1826e43394a5c9c576fabb7c42d217df56 /cui/source | |
| parent | 61d9d1cf56994146d514fd5bf8c3f3f6885449ea (diff) | |
lint-ui.py check that GtkMenuButton has a label property
Change-Id: Ib1aa8ee050d2425387ddc1080f11f0ddfc2f9236
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103770
Tested-by: Jenkins
Reviewed-by: Caolán McNamara <caolanm@redhat.com>
Diffstat (limited to 'cui/source')
0 files changed, 0 insertions, 0 deletions