[gtk/ebassi/annotations: 1/4] docs: Fix annotations

[Emmanuele Bassi <ebassi src gnome org>]

commit 43e5ca9a1b8a481200aea5e0e31eee0b8cd6245b
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sun May 31 15:04:51 2020 +0100

    docs: Fix annotations
    
     - Use the same name for the argument in the declaration, definition,
       and documentation
     - Use "optional" instead of the deprecated "allow-none"

 gdk/gdkdisplay.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 81277b9f7b..7d7e6318e6 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -1735,11 +1735,11 @@ gdk_display_map_keycode (GdkDisplay    *display,
  * @keycode: a keycode
  * @state: a modifier state
  * @group: active keyboard group
- * @keyval: (out) (allow-none): return location for keyval, or %NULL
- * @effective_group: (out) (allow-none): return location for effective
+ * @keyval: (out) (optional): return location for keyval, or %NULL
+ * @effective_group: (out) (optional): return location for effective
  *     group, or %NULL
- * @level: (out) (allow-none): return location for level, or %NULL
- * @consumed_modifiers: (out) (allow-none): return location for modifiers
+ * @level: (out) (optional): return location for level, or %NULL
+ * @consumed: (out) (optional): return location for modifiers
  *     that were used to determine the group or level, or %NULL
  *
  * Translates the contents of a #GdkEventKey (ie @keycode, @state, and @group)