From e98ea46d8708308e78ee97fe8466fad96e9d2959 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Tue, 23 Feb 2021 22:51:02 -0500
Subject: [PATCH] spinner: Add property annotations

Connect properties, getters, and setters with annotations.
---
 gtk/gtkspinner.c | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

diff --git a/gtk/gtkspinner.c b/gtk/gtkspinner.c
index 3801bfd852..d4a9e41987 100644
--- a/gtk/gtkspinner.c
+++ b/gtk/gtkspinner.c
@@ -41,12 +41,9 @@
 
 
 /**
- * SECTION:gtkspinner
- * @Short_description: Show a spinner animation
- * @Title: GtkSpinner
- * @See_also: #GtkCellRendererSpinner, #GtkProgressBar
+ * GtkSpinner:
  *
- * A GtkSpinner widget displays an icon-size spinning animation.
+ * A `GtkSpinner` widget displays an icon-size spinning animation.
  * It is often used as an alternative to a [class@Gtk.ProgressBar] for
  * displaying indefinite activity, instead of actual progress.
  *
@@ -140,8 +137,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 +153,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 +227,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 +253,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 +263,7 @@ gtk_spinner_new (void)
 
 /**
  * gtk_spinner_start:
- * @spinner: a #GtkSpinner
+ * @spinner: a `GtkSpinner`
  *
  * Starts the animation of the spinner.
  */
@@ -279,7 +277,7 @@ gtk_spinner_start (GtkSpinner *spinner)
 
 /**
  * gtk_spinner_stop:
- * @spinner: a #GtkSpinner
+ * @spinner: a `GtkSpinner`
  *
  * Stops the animation of the spinner.
  */