diff options
| -rw-r--r-- | src/gui/widgets/guitable.h | 4 | ||||
| -rw-r--r-- | src/gui/widgets/slider.h | 2 |
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. |