Add some missing nonnull attributes.

2 files changed, 3 insertions, 3 deletions

diff --git a/src/gui/widgets/guitable.h b/src/gui/widgets/guitable.h
index 35000ccff..27d54bdd2 100644
--- a/src/gui/widgets/guitable.h
+++ b/src/gui/widgets/guitable.h
@@ -54,7 +54,7 @@ class GuiTable final : public Widget,
     public:
         GuiTable(const Widget2 *const widget,
                  TableModel *const initial_model,
-                 const bool opacity = true);
+                 const bool opacity = true) A_NONNULL(3);
 
         A_DELETE_COPY(GuiTable)
 
@@ -68,7 +68,7 @@ class GuiTable final : public Widget,
          * installed within the widget have been triggered. To be notified
          * after such an update, add an action listener to the table instead.
          */
-        void setModel(TableModel *const m);
+        void setModel(TableModel *const m) A_NONNULL(2);
 
         /**
          * Retrieves the active table model
diff --git a/src/gui/widgets/slider.h b/src/gui/widgets/slider.h
index db3dc346c..b6d065634 100644
--- a/src/gui/widgets/slider.h
+++ b/src/gui/widgets/slider.h
@@ -345,7 +345,7 @@ class Slider final : public Widget,
          */
         Orientation mOrientation;
 
-        ImageCollection *mVertexes;
+        ImageCollection *mVertexes A_NONNULLPOINTER;
 
         /**
          * Holds the length of the marker.