|
class gui.Progress(): | implements WindowChildView | constructor ( | value :: ObsOrValue.of(View.SizeInt) = 0, | ~label: label :: ObsOrValue.of(maybe(View.LabelString)) = #false, | ~max_value: max_value :: ObsOrValue.of(View.PosSizeInt) = 100, | ~enable: enable :: ObsOrValue.of(Boolean) = #true, | ~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], | ~styles: styles :: List.of(Progress.Style) = [#'horizontal], | ~window_callbacks: window_callbacks :: maybe(WindowCallbacks) = #false | ) |
|
|
|
|
Creates a read-only (from the user’s perspective) progress gauge that
show value out of max_value progress.
The styles list must include one of #'horiziontal
and #'vertical.
The Progress.at_value property returns an observable that is
updated whenever the progress gauge’s state changes through
value as an observable.
A progress-gauge style option:
#'horizontal: Creates a horizontal progress gauge,
where #'vertical and #'horizontal are mutually
exclusive.
#'vertical: Creates a vertical progress gauge.
#'horizontal_label: When the progress gauge has a label, show
it to the left of the gauge. 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 progress gauge has a label,
show it above the gauge.