m2-GTK4/src/GtkSpinner.def

DEFINITION MODULE FOR "C" GtkSpinner ;

(*
   m2-GTK4 - GtkSpinner: an animated busy indicator.  Mapped onto
   <gtk/gtkspinner.h>.
*)

FROM SYSTEM IMPORT ADDRESS;

EXPORT UNQUALIFIED
   GtkSpinner,
   gtk_spinner_new,
   gtk_spinner_start, gtk_spinner_stop,
   gtk_spinner_set_spinning, gtk_spinner_get_spinning;


TYPE
   GtkSpinner = ADDRESS;

(* GtkWidget *gtk_spinner_new(void) *)
PROCEDURE gtk_spinner_new () : GtkSpinner;

(* void gtk_spinner_start(GtkSpinner *spinner) *)
PROCEDURE gtk_spinner_start (spinner: GtkSpinner);

(* void gtk_spinner_stop(GtkSpinner *spinner) *)
PROCEDURE gtk_spinner_stop (spinner: GtkSpinner);

(* void gtk_spinner_set_spinning(GtkSpinner *spinner, gboolean spinning) *)
PROCEDURE gtk_spinner_set_spinning (spinner: GtkSpinner; spinning: INTEGER);

(* gboolean gtk_spinner_get_spinning(GtkSpinner *spinner) *)
PROCEDURE gtk_spinner_get_spinning (spinner: GtkSpinner) : [ INTEGER ];

END GtkSpinner.