summaryrefslogtreecommitdiff
path: root/src/gui/widgets/scrollarea.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui/widgets/scrollarea.h')
-rw-r--r--src/gui/widgets/scrollarea.h4
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.