Property definitions

gtk $ GtkRange :: defaultinit
# Base class for widgets which visualize an adjustment
# See: https://developer.gnome.org/gtk3/3.2/GtkRange.html
extern class GtkRange `{GtkRange *`}
	super GtkWidget

	# Gets the current position of the fill level indicator.
	fun fill_level: Float `{
		return gtk_range_get_fill_level(self);
	`}

	fun fill_level=(level: Float) `{
		gtk_range_set_fill_level(self, level);
	`}

	# Gets whether the range is restricted to the fill level.
	fun restricted_to_fill_level: Bool `{
		return gtk_range_get_restrict_to_fill_level(self);
	`}

	fun restricted_to_fill_level=(restricted: Bool) `{
		gtk_range_set_restrict_to_fill_level(self, restricted);
	`}

	# Gets whether the range displays the fill level graphically.
	fun show_fill_level: Bool `{
		return gtk_range_get_show_fill_level(self);
	`}

	fun show_fill_level=(is_displayed: Bool) `{
		gtk_range_set_show_fill_level(self, is_displayed);
	`}

	fun adjustment: GtkAdjustment `{
		return gtk_range_get_adjustment(self);
	`}

	fun adjustment=(value: GtkAdjustment) `{
		gtk_range_set_adjustment(self, value);
	`}

	fun inverted: Bool `{
		return gtk_range_get_inverted(self);
	`}

	fun inverted=(setting: Bool) `{
		gtk_range_set_inverted(self, setting);
	`}

	fun value: Float `{
		return gtk_range_get_value(self);
	`}

	fun value=(val: Float) `{
		gtk_range_set_value(self, val);
	`}

	fun set_increments(step: Float, page: Float) `{
		gtk_range_set_increments(self, step, page);
	`}

	fun set_range(min: Float, max: Float) `{
		gtk_range_set_range(self, min, max);
	`}

	fun round_digits: Int `{
		return gtk_range_get_round_digits(self);
	`}

	fun round_digits=(nb: Int) `{
		gtk_range_set_round_digits(self, nb);
	`}

	fun size_fixed: Bool `{
		return gtk_range_get_slider_size_fixed(self);
	`}

	fun size_fixed=(is_fixed: Bool) `{
		return gtk_range_set_slider_size_fixed(self, is_fixed);
	`}

	fun flippable: Bool `{
		return gtk_range_get_flippable(self);
	`}

	fun min_size=(is_flippable: Bool) `{
		return gtk_range_set_flippable(self, is_flippable);
	`}

	fun min_slider_size: Int `{
		return gtk_range_get_min_slider_size(self);
	`}

	fun min_slider_size=(size: Int) `{
		return gtk_range_set_min_slider_size(self, size);
	`}
end
lib/gtk/v3_4/gtk_core.nit:506,1--601,3