IntervalSlider

IntervalSlider[{xmin,xmax}]
represents a slider with setting in the range 0 to 1.

IntervalSlider[Dynamic[int]]
takes the setting to be the dynamically updated current value of int, with the value of int being reset if the slider is moved.

IntervalSlider[int,{min,max}]
represents a slider with range min to max.

IntervalSlider[int,{min,max,dx}]
represents a slider that jumps in steps dx.

Details and OptionsDetails and Options

  • IntervalSlider[] displays in a notebook as a horizontal slider with three slider thumbs that can be manipulated interactively.
  • IntervalSlider[Dynamic[int]] will reset the value of int when the slider is moved; IntervalSlider[int] will not.
  • IntervalSlider[int,{min,max,dx}] jumps to integer positions if min and dx are integers.
  • The following options can be given:
  • AppearanceAutomaticthe overall appearance of the slider
    AutoActionFalsewhether to move the slider automatically when the mouse is over it
    BackgroundAutomaticthe background for the slider
    BaselinePositionAutomaticalignment relative to the surrounding text
    BaseStyle{}base style specifications for the slider
    ContinuousActionTruewhether to update continuously when the slider is moved
    EnabledAutomaticwhether the slider is enabled or grayed out
    ImageMarginsAutomaticmargins around the image of the displayed slider
    ImageSizeMediumthe overall image size of the displayed slider
    MethodAutomaticmethod by which the two endpoint slider thumbs interact
    MinIntervalSize0how close the two endpoints can be to each other
  • Possible settings for Appearance include Automatic, , , , and None.
  • If the Appearance setting includes , a vertical slider will be displayed.
  • Appearance -> "Labeled" displays the current value of the slider as an editable label.
  • Possible settings for Method include , , and .
  • IntervalSlider[] is equivalent to IntervalSlider[{0.25, 0.75}].
  • The resulting slider can be finely manipulated by holding down the Alt key (or Option on Macintosh) while dragging the mouse. This causes the slider to move at 1/20 the rate of the mouse. The slider can be even more finely manipulated by also holding the Shift and/or Ctrl keys.
Introduced in 2014
(10.0)