class gui.VPanel():

  implements WindowChildView

  constructor (

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

    ~styles: styles :: ObsOrValue.of(List.of(VPanel.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),

    ...

  )

enum gui.VPanel.Style

| border

| vscroll

| hscroll

| auto_vscroll

| auto_hscroll

| hide_vscroll

| hide_hscroll