summaryrefslogtreecommitdiff
path: root/src/gui/widgets/radiobutton.h
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-06-24 01:13:26 +0300
committerAndrei Karas <akaras@inbox.ru>2015-06-24 01:13:26 +0300
commit1498a699f89f7b5aebdc4629c645c3702ee04f92 (patch)
tree24d74cc7efc31ba2447c76ad301e3192e38b4cf4 /src/gui/widgets/radiobutton.h
parentc551f8981eba838d07245d1597e9deaa00427cee (diff)
downloadmv-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.h4
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.