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/radiobutton.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/radiobutton.h')
| -rw-r--r-- | src/gui/widgets/radiobutton.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/widgets/radiobutton.h b/src/gui/widgets/radiobutton.h index 50b000f31..939601e07 100644 --- a/src/gui/widgets/radiobutton.h +++ b/src/gui/widgets/radiobutton.h @@ -106,7 +106,7 @@ class RadioButton final : public Widget, /** * Draws the radiobutton, not the caption. */ - void drawBox(Graphics* graphics); + void drawBox(Graphics* graphics) A_NONNULL(2); /** * Implementation of the draw methods. |