Slider

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool animate { get; set; }
• public bool is_wavy { get; set; }
• public string left_icon { get; set; }
• public string right_icon { get; set; }
• public bool stop_indicator_visibility { get; set; }
• public double value { get; set; }
• public int wave_amplitude { get; set; }
• public int wave_thickness { get; set; }
• public int wave_wavelength { get; set; }

Creation methods:

• public Slider ()
  Constructs a new Slider.

Methods:

• public void add_mark (double value, string? text)
  Adds a mark with some information along the trough of the Slider.
• public void set_adjustment (Adjustment adjustment)
  Sets the adjustment for the slider.
• public void set_range (double min, double max)
  Sets the range of the slider.

Signals:

• public signal void value_changed ()
  Signal emitted when the value changes.

Fields:

• public Scale scale
  The scale inside the Slider.

Inherited Members: