3.3.3 Panels
3.3.3.1 HPanel
3.3.3.2 VPanel
3.3.3.3 Group  Panel
3.3.3.4 Tabs  Panel
On this page:
Group  Panel
Group  Panel.Style

image

class

class gui.GroupPanel():

  implements WindowChildView

  constructor (

    label :: ObsOrValue.of(View.LabelString),

    ~align: align :: ObsOrValue.of(View.Alignment) = [#'center, #'center],

    ~styles: styles :: ObsOrValue.of(List.of(GroupPanel.Style)) = [],

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

    ~spacing: spacing :: ObsOrValue.of(View.SpacingInt) = 0,

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

    ~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,

    child :: ObsOrValue.of(WindowChildView && !WindowView),

    ...

  )

Creates a vertical panel that shows grouping under label.

enumeration

enum gui.GroupPanel.Style

A group panel style option. No options are supported, currently.