Rhombus
|
class gui.Label(): | implements WindowChildView | constructor ( | label :: ObsOrValue.of(View.LabelString), | ~color: color :: ObsOrValue.of(maybe(Color)) = #false, | ~font: font :: draw.Font = View.normal_control_font, | ~style: style :: List.of(Progress.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], | ~window_callbacks: window_callbacks :: maybe(WindowCallbacks) = #false | ) |
|
|
|
|
Creates a text label. See
View.LabelString for
information about keyboard mnemonics in the
label argument.
The Label.at_label property returns an observable that is
updated whenever the label’s state changes through
label as an observable.
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.