2019-02-14 08:37:02 -08:00
|
|
|
class @beta Efl.Ui.Slider_Interval extends Efl.Ui.Slider
|
2017-09-11 18:07:58 -07:00
|
|
|
{
|
|
|
|
[[An interval slider.
|
|
|
|
|
|
|
|
This is a slider with two indicators.
|
|
|
|
]]
|
|
|
|
methods {
|
|
|
|
@property interval_value {
|
|
|
|
[[Sets up position of two indicators at start and end position.
|
|
|
|
]]
|
|
|
|
get {
|
|
|
|
}
|
|
|
|
set {
|
|
|
|
}
|
|
|
|
values {
|
|
|
|
from: double;[[interval minimum value]]
|
|
|
|
to: double; [[interval maximum value]]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
implements {
|
2018-05-14 22:16:00 -07:00
|
|
|
Efl.Object.constructor;
|
|
|
|
Efl.Object.destructor;
|
2017-09-11 18:07:58 -07:00
|
|
|
}
|
|
|
|
}
|