class gui.Dialog(): |
implements WindowView |
constructor ( |
~title: title :: ObsOrValue.of(String) = "Untitled", |
~size: size :: ObsOrValue.of(View.Size) = [#false, #false], |
~align: align :: ObsOrValue.of(View.Alignment) = [#'center, #'top], |
~position: position :: ObsOrValue.of(View.Position) = #'center, |
~min_size: min_size :: ObsOrValue.of(View.Size) = [#false, #false], |
~stretch: stretch :: ObsOrValue.of(View.Stretch) = [#true, #true], |
~enable: enable :: ObsOrValue.of(Boolean) = #true, |
~styles: styles :: ObsOrValue.of(List.of(Dialog.Style)) = [], |
~window_callbacks: window_callbacks :: maybe(WindowCallbacks) = #false, |
child :: ObsOrValue.of(WindowChildView && !WindowView), ... |
) |