diff options
| author | Johan Dahlin <johan@gnome.org> | 2010-02-19 14:53:17 -0200 |
|---|---|---|
| committer | Johan Dahlin <johan@gnome.org> | 2010-02-19 17:57:51 -0200 |
| commit | fe852721123fb7dc5749c690613ca6e209363e2f (patch) | |
| tree | 62ac68aab7296dbea80b199a0e1769ba5621514a /gtk/gtkuimanager.c | |
| parent | 347d406f80f2140a466da30764171cd92aa7d7ea (diff) | |
| download | gtk+-fe852721123fb7dc5749c690613ca6e209363e2f.tar.gz | |
[annotations] Add allow-none
This commit was created using a script that searched for all docstrings
containing a parameter and the string 'or %NULL'.
Gdk backends and demos excluded as they are not part of a public API
https://bugzilla.gnome.org/show_bug.cgi?id=610474
Diffstat (limited to 'gtk/gtkuimanager.c')
| -rw-r--r-- | gtk/gtkuimanager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtkuimanager.c b/gtk/gtkuimanager.c index 6112bf799f..c5c7794a95 100644 --- a/gtk/gtkuimanager.c +++ b/gtk/gtkuimanager.c @@ -2107,7 +2107,7 @@ find_toolbar_position (GNode *node, /** * _gtk_menu_is_empty: - * @menu: a #GtkMenu or %NULL + * @menu: (allow-none): a #GtkMenu or %NULL * * Determines whether @menu is empty. A menu is considered empty if it * the only visible children are tearoff menu items or "filler" menu |