[gtk/ebassi/gidocgen] spinner: Add property annotations

[Matthias Clasen <matthiasc src gnome org>]

commit 57bbb90a82a5d3507c044d3093e50adb63cc872e
Author: Matthias Clasen <mclasen redhat com>
Date:   Tue Feb 23 22:51:02 2021 -0500

    spinner: Add property annotations
    
    Connect properties, getters, and setters with annotations.

 gtk/gtkspinner.c | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)
---
diff --git a/gtk/gtkspinner.c b/gtk/gtkspinner.c
index 3801bfd852..8113c657a6 100644
--- a/gtk/gtkspinner.c
+++ b/gtk/gtkspinner.c
@@ -140,8 +140,8 @@ gtk_spinner_css_changed (GtkWidget         *widget,
 }
 
 /**
- * gtk_spinner_get_spinning:
- * @spinner: a #GtkSpinner
+ * gtk_spinner_get_spinning: (attributes org.gtk.Method.get_property=spinning)
+ * @spinner: a `GtkSpinner`
  *
  * Returns whether the spinner is spinning.
  *
@@ -156,8 +156,8 @@ gtk_spinner_get_spinning (GtkSpinner *spinner)
 }
 
 /**
- * gtk_spinner_set_spinning:
- * @spinner: a #GtkSpinner
+ * gtk_spinner_set_spinning: (attributes org.gtk.Method.set_property=spinning)
+ * @spinner: a `GtkSpinner`
  * @spinning: whether the spinner should be spinning
  *
  * Sets the activity of the spinner.
@@ -230,7 +230,8 @@ gtk_spinner_class_init (GtkSpinnerClass *klass)
   widget_class->measure = gtk_spinner_measure;
   widget_class->css_changed = gtk_spinner_css_changed;
 
-  /* GtkSpinner:spinning:
+  /**
+   * GtkSpinner:spinning: (attributes org.gtk.Property.get=gtk_spinner_get_spinning 
org.gtk.Property.set=gtk_spinner_set_spinning)
    *
    * Whether the spinner is spinning
    */
@@ -255,7 +256,7 @@ gtk_spinner_init (GtkSpinner *spinner)
  *
  * Returns a new spinner widget. Not yet started.
  *
- * Returns: a new #GtkSpinner
+ * Returns: a new `GtkSpinner`
  */
 GtkWidget *
 gtk_spinner_new (void)
@@ -265,7 +266,7 @@ gtk_spinner_new (void)
 
 /**
  * gtk_spinner_start:
- * @spinner: a #GtkSpinner
+ * @spinner: a `GtkSpinner`
  *
  * Starts the animation of the spinner.
  */
@@ -279,7 +280,7 @@ gtk_spinner_start (GtkSpinner *spinner)
 
 /**
  * gtk_spinner_stop:
- * @spinner: a #GtkSpinner
+ * @spinner: a `GtkSpinner`
  *
  * Stops the animation of the spinner.
  */