►GUI:   Graphical User Interface Toolkit
►3 Views
►3.3 Window Views
▼3.3.5 Controls
3.3.5.1 Button
3.3.5.2 Checkbox
3.3.5.3 Choice
3.3.5.4 Radio  Choice
3.3.5.5 List  Choice
3.3.5.6 Table
3.3.5.7 Slider
3.3.5.8 Progress
3.3.5.9 Input
3.3.5.10 Label
3.3.5.11 Image
3.3.5.12 Spacer
On this page:
Slider
Slider.at_  value
Slider.Style
Slider.Style.horizontal
Slider.Style.vertical
Slider.Style.plain
Slider.Style.horizontal_  label
Slider.Style.vertical_  label
Rhombus
  top  contents    up   

image

class

class gui.Slider():

  implements WindowChildView

  constructor (

    ~label: label :: ObsOrValue.of(maybe(View.LabelString)) = #false,

    ~value: value :: ObsOrValue.of(View.PositionInt) = 0,

    ~min_value: min_value :: ObsOrValue.of(View.PositionInt) = 0,

    ~max_value: max_value :: ObsOrValue.of(View.PositionInt) = 100,

    ~action: action :: View.PositionInt -> ~any = values,

    ~style: style :: List.of(Slider.Style) = [#'horizontal],

    ~margin: margin :: ObsOrValue.of(View.Margin) = [2, 2],

    ~min_size: min_size :: ObsOrValue.of(View.Size) = [#false, #false],

    ~stretch: stretch :: ObsOrValue.of(View.Stretch) = [#true, #true],

    ~enable: enable :: ObsOrValue.of(Boolean) = #true,

    ~window_callbacks: window_callbacks :: maybe(WindowCallbacks) = #false

  )

 

property

property (sldr :: gui.Slider).at_value :: Obs.of(PositionInt)

Creates a slider. See View.LabelString for information about keyboard mnemonics in the ~label argument.

The ~value argument sets the slider’s initial or current value, with ~min_value and ~max_value determined the allowed range (inclusive) of the value.

The function call action(now_val) is performed when the slider is changed by the user, where now_val indicates the value of the slider.

The Slider.at_value property returns an observable that is updated whenever the slider’s value changes through an action (as also reported via action) or via value as an observable.

The style list must include one of #'horiziontal and #'vertical.

See Geometry Management for information about ~margin, ~min_size, and ~stretch.

The ~window_callbacks argument configures callbacks that are common to all WindowChildViews. See WindowCallbacks for more information.

enumeration

enum gui.Slider.Style

| horizontal

| vertical

| plain

| horizontal_label

| vertical_label

A slider style option:

  • #'horizontal: Creates a horizontal slider, where #'vertical and #'horizontal are mutually exclusive.

  • #'vertical: Creates a vertical slider.

  • #'plain: Creates an unadorned slider where the slider’s numerical value is not reported to the user.

  • #'horizontal_label: When the slider has a label, show it to the left of the slider. Horizontal label placement is the default if #'vertical_label is not specified, and #'horizontal_label and #'vertical_label are mutually exclusive.

  • #'vertical_label: When the slider has a label, show it above the control.

  top  contents    up