Range is the common base class for widgets which visualize an adjustment, e.
g Scale or Scrollbar.
Apart from signals for monitoring the parameters of the adjustment, Range provides properties and
methods for influencing the sensitivity of the “steppers”. It also provides properties and methods for setting a “fill level” on
range widgets. See set_fill_level.
- public unowned Adjustment get_adjustment ()
Get the Adjustment
which is the “model” object for Range.
- public double get_fill_level ()
Gets the current position of the fill level indicator.
- public bool get_flippable ()
- public bool get_inverted ()
- public SensitivityType get_lower_stepper_sensitivity ()
Gets the sensitivity policy for the stepper that points to the 'lower'
end of the GtkRange’s adjustment.
- public int get_min_slider_size ()
This function is useful mainly for Range
subclasses.
- public virtual Border get_range_border ()
- public Rectangle get_range_rect ()
This function returns the area that contains the range’s trough and
its steppers, in widget->window coordinates.
- public virtual void get_range_size_request (Orientation orientation, out int minimum, out int natural)
- public bool get_restrict_to_fill_level ()
Gets whether the range is restricted to the fill level.
- public int get_round_digits ()
Gets the number of digits to round the value to when it changes.
- public bool get_show_fill_level ()
Gets whether the range displays the fill level graphically.
- public void get_slider_range (out int slider_start, out int slider_end)
This function returns sliders range along the long dimension, in
widget->window coordinates.
- public bool get_slider_size_fixed ()
This function is useful mainly for Range
subclasses.
- public SensitivityType get_upper_stepper_sensitivity ()
Gets the sensitivity policy for the stepper that points to the 'upper'
end of the GtkRange’s adjustment.
- public double get_value ()
Gets the current value of the range.
- public void set_adjustment (Adjustment adjustment)
Sets the adjustment to be used as the “model” object for this
range widget.
- public void set_fill_level (double fill_level)
Set the new position of the fill level indicator.
- public void set_flippable (bool flippable)
If a range is flippable, it will switch its direction if it is
horizontal and its direction is gtk_text_dir_rtl.
- public void set_increments (double step, double page)
Sets the step and page sizes for the range.
- public void set_inverted (bool setting)
Ranges normally move from lower to higher values as the slider moves
from top to bottom or left to right.
- public void set_lower_stepper_sensitivity (SensitivityType sensitivity)
Sets the sensitivity policy for the stepper that points to the 'lower'
end of the GtkRange’s adjustment.
- public void set_min_slider_size (int min_size)
Sets the minimum size of the range’s slider.
- public void set_range (double min, double max)
Sets the allowable values in the Range
, and clamps the range value to be between min and max.
- public void set_restrict_to_fill_level (bool restrict_to_fill_level)
Sets whether the slider is restricted to the fill level.
- public void set_round_digits (int round_digits)
Sets the number of digits to round the value to when it changes.
- public void set_show_fill_level (bool show_fill_level)
Sets whether a graphical fill level is show on the trough.
- public void set_slider_size_fixed (bool size_fixed)
Sets whether the range’s slider has a fixed size, or a size that
depends on its adjustment’s page size.
- public void set_upper_stepper_sensitivity (SensitivityType sensitivity)
Sets the sensitivity policy for the stepper that points to the 'upper'
end of the GtkRange’s adjustment.
- public void set_value (double value)
Sets the current value of the range; if the value is outside the
minimum or maximum range values, it will be clamped to fit inside them.