diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-27 21:47:11 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-27 21:47:11 +0300 |
| commit | 610b13d188cd3faf99b971eea58594b336a57edd (patch) | |
| tree | a63c21502fb067dba90cfc31343de6b90032487c /src/gui/windowmenu.h | |
| parent | 8b5ea7b5dadf697086b35b386f79d7b69d5e9215 (diff) | |
| download | mv-610b13d188cd3faf99b971eea58594b336a57edd.tar.gz mv-610b13d188cd3faf99b971eea58594b336a57edd.tar.bz2 mv-610b13d188cd3faf99b971eea58594b336a57edd.tar.xz mv-610b13d188cd3faf99b971eea58594b336a57edd.zip | |
Add checks for new issues from paranucker.
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, |