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/scrollarea.h | |
| parent | 1498a699f89f7b5aebdc4629c645c3702ee04f92 (diff) | |
| download | mv-233f2b564e7707f79deb493444f28363ac10bfd4.tar.gz mv-233f2b564e7707f79deb493444f28363ac10bfd4.tar.bz2 mv-233f2b564e7707f79deb493444f28363ac10bfd4.tar.xz mv-233f2b564e7707f79deb493444f28363ac10bfd4.zip | |
Add missing checks on nonnull attributes to widgets.
Diffstat (limited to 'src/gui/widgets/scrollarea.h')
| -rw-r--r-- | src/gui/widgets/scrollarea.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/widgets/scrollarea.h b/src/gui/widgets/scrollarea.h index 5d9b2e70b..1d341e46b 100644 --- a/src/gui/widgets/scrollarea.h +++ b/src/gui/widgets/scrollarea.h @@ -144,9 +144,9 @@ class ScrollArea final : public BasicContainer, /** * 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); /** * Sets whether the widget should draw its background or not. |