diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-24 01:13:26 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-24 01:13:26 +0300 |
| commit | 1498a699f89f7b5aebdc4629c645c3702ee04f92 (patch) | |
| tree | 24d74cc7efc31ba2447c76ad301e3192e38b4cf4 /src/gui/widgets/radiobutton.h | |
| parent | c551f8981eba838d07245d1597e9deaa00427cee (diff) | |
| download | mv-1498a699f89f7b5aebdc4629c645c3702ee04f92.tar.gz mv-1498a699f89f7b5aebdc4629c645c3702ee04f92.tar.bz2 mv-1498a699f89f7b5aebdc4629c645c3702ee04f92.tar.xz mv-1498a699f89f7b5aebdc4629c645c3702ee04f92.zip | |
Add A_NONNULL attribute to all parameters with class Graphics.
Diffstat (limited to 'src/gui/widgets/radiobutton.h')
| -rw-r--r-- | src/gui/widgets/radiobutton.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/widgets/radiobutton.h b/src/gui/widgets/radiobutton.h index f1e4748e1..50b000f31 100644 --- a/src/gui/widgets/radiobutton.h +++ b/src/gui/widgets/radiobutton.h @@ -112,9 +112,9 @@ class RadioButton final : public Widget, * Implementation of the draw methods. * Thus, avoiding the rhomb around the radio button. */ - void draw(Graphics* graphics) override final; + void draw(Graphics* graphics) override final A_NONNULL(2); - void safeDraw(Graphics* graphics) override final; + void safeDraw(Graphics* graphics) override final A_NONNULL(2); /** * Called when the mouse enteres the widget area. |