1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/widgets/playerbox.h b/src/gui/widgets/playerbox.h
index ee15f32ba..f21a88f8b 100644
--- a/src/gui/widgets/playerbox.h
+++ b/src/gui/widgets/playerbox.h
@@ -83,9 +83,9 @@ class PlayerBox final : public Widget,
         /**
          * 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);
 
         Being *getBeing() A_WARN_UNUSED
         { return mBeing; }