DEFINITION MODULE FOR "C" GtkScale ; (* m2-GTK4 - GtkScale: a slider. Mapped onto . 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.