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,

    ~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

  )

property (lbl :: gui.Label).at_label :: Obs.of(View.LabelString)