m2-GTK4/src/GtkScale.def

DEFINITION MODULE FOR "C" GtkScale ;

(*
   m2-GTK4 - GtkScale: a slider.  Mapped onto <gtk/gtkscale.h>.

   GtkScale derives from GtkRange, so read/write the value with
   gtk_range_get_value()/gtk_range_set_value() (GtkRange.def).

   gtk_scale_new() takes a GtkAdjustment *; pass NIL to let the scale
   create its own.  gtk_scale_new_with_range() is the convenient form
   for min/max/step.
*)

FROM SYSTEM IMPORT ADDRESS;
FROM GtkEnums IMPORT GtkOrientation, GtkPositionType;

EXPORT UNQUALIFIED
   GtkScale,
   gtk_scale_new, gtk_scale_new_with_range,
   gtk_scale_set_digits, gtk_scale_get_digits,
   gtk_scale_set_draw_value, gtk_scale_get_draw_value,
   gtk_scale_set_value_pos, gtk_scale_get_value_pos;


TYPE
   GtkScale = ADDRESS;

(* GtkWidget *gtk_scale_new(GtkOrientation orientation, GtkAdjustment *adjustment) *)
PROCEDURE gtk_scale_new (orientation: GtkOrientation;
                         adjustment: ADDRESS) : GtkScale;

(* GtkWidget *gtk_scale_new_with_range(GtkOrientation orientation,
                                        double min, double max, double step) *)
PROCEDURE gtk_scale_new_with_range (orientation: GtkOrientation;
                                    min, max, step: REAL) : GtkScale;

(* void gtk_scale_set_digits(GtkScale *scale, int digits) *)
PROCEDURE gtk_scale_set_digits (scale: GtkScale; digits: INTEGER);

(* int gtk_scale_get_digits(GtkScale *scale) *)
PROCEDURE gtk_scale_get_digits (scale: GtkScale) : INTEGER;

(* void gtk_scale_set_draw_value(GtkScale *scale, gboolean draw_value) *)
PROCEDURE gtk_scale_set_draw_value (scale: GtkScale; draw_value: INTEGER);

(* gboolean gtk_scale_get_draw_value(GtkScale *scale) *)
PROCEDURE gtk_scale_get_draw_value (scale: GtkScale) : [ INTEGER ];

(* void gtk_scale_set_value_pos(GtkScale *scale, GtkPositionType pos) *)
PROCEDURE gtk_scale_set_value_pos (scale: GtkScale; pos: GtkPositionType);

(* GtkPositionType gtk_scale_get_value_pos(GtkScale *scale) *)
PROCEDURE gtk_scale_get_value_pos (scale: GtkScale) : GtkPositionType;

END GtkScale.