
|
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.
A group panel style option. No options are supported, currently.