diff options
Diffstat (limited to 'src/gui/windowmenu.h')
| -rw-r--r-- | src/gui/windowmenu.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h index f5f0b1c7d..38ffe2e76 100644 --- a/src/gui/windowmenu.h +++ b/src/gui/windowmenu.h @@ -87,9 +87,9 @@ class WindowMenu final : public Container, #endif protected: - void drawChildren(Graphics* graphics) override final; + void drawChildren(Graphics* graphics) override final A_NONNULL(2); - void safeDrawChildren(Graphics* graphics) override final; + void safeDrawChildren(Graphics* graphics) override final A_NONNULL(2); private: inline void addButton(const char *const text, |