diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-24 01:38:17 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-25 15:07:14 +0300 |
| commit | 233f2b564e7707f79deb493444f28363ac10bfd4 (patch) | |
| tree | ee9d960c24e68f7ce9da05ee9a0333a74615565d /src/gui/widgets/playerbox.h | |
| parent | 1498a699f89f7b5aebdc4629c645c3702ee04f92 (diff) | |
| download | manaverse-233f2b564e7707f79deb493444f28363ac10bfd4.tar.gz manaverse-233f2b564e7707f79deb493444f28363ac10bfd4.tar.bz2 manaverse-233f2b564e7707f79deb493444f28363ac10bfd4.tar.xz manaverse-233f2b564e7707f79deb493444f28363ac10bfd4.zip | |
Add missing checks on nonnull attributes to widgets.
Diffstat (limited to 'src/gui/widgets/playerbox.h')
| -rw-r--r-- | src/gui/widgets/playerbox.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/widgets/playerbox.h b/src/gui/widgets/playerbox.h index ee15f32ba..f21a88f8b 100644 --- a/src/gui/widgets/playerbox.h +++ b/src/gui/widgets/playerbox.h @@ -83,9 +83,9 @@ class PlayerBox final : public Widget, /** * Draws the background and border of the scroll area. */ - void drawFrame(Graphics *graphics) override final; + void drawFrame(Graphics *graphics) override final A_NONNULL(2); - void safeDrawFrame(Graphics *graphics) override final; + void safeDrawFrame(Graphics *graphics) override final A_NONNULL(2); Being *getBeing() A_WARN_UNUSED { return mBeing; } |