diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2022-04-14 22:44:17 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2022-04-14 22:44:17 +0100 |
| commit | 0a5f29c9eb2f01058e739fc290e65269bc9ea7cc (patch) | |
| tree | e4751471e05653dbebab9e84c678c64b947e2ffa | |
| parent | 417be0719bcae16c04a88fdc53721f1a138d7411 (diff) | |
| download | gtk+-0a5f29c9eb2f01058e739fc290e65269bc9ea7cc.tar.gz | |
Mark nullable arguments in GtkPaned
The set_start_child() and set_end_child() methods take NULL for the
child argument, as a way to remove the child from the paned widget.
| -rw-r--r-- | gtk/gtkpaned.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c index ccea91f92c..bc7591a3d7 100644 --- a/gtk/gtkpaned.c +++ b/gtk/gtkpaned.c @@ -1571,9 +1571,11 @@ gtk_paned_new (GtkOrientation orientation) /** * gtk_paned_set_start_child: (attributes org.gtk.Method.set_property=start-child) * @paned: a `GtkPaned` - * @child: the widget to add + * @child: (nullable): the widget to add * * Sets the start child of @paned to @child. + * + * If @child is `NULL`, the existing child will be removed. */ void gtk_paned_set_start_child (GtkPaned *paned, @@ -1686,9 +1688,11 @@ gtk_paned_get_shrink_start_child (GtkPaned *paned) /** * gtk_paned_set_end_child: (attributes org.gtk.Method.set_property=end-child) * @paned: a `GtkPaned` - * @child: the widget to add + * @child: (nullable): the widget to add * * Sets the end child of @paned to @child. + * + * If @child is `NULL`, the existing child will be removed. */ void gtk_paned_set_end_child (GtkPaned *paned, |