kkallio@8: open Gui
kkallio@8: open TogglePanel
kkallio@8:
kkallio@8: val defaultContent : xbody = Here I am inside the panel.
Default format
kkallio@8: val otherContent : xbody = Here I am inside the panel.
Other format
kkallio@8:
adam@20: val otherFormat = fn [body ~ []] =>
adam@20: {FormatPanel = fn ctl panel => A Custom {ctl} Format{panel},
adam@20: OpenCtl = fn behaviour => View,
adam@20: CloseCtl = fn behaviour => Hide}
kkallio@8:
kkallio@8: fun main () =
kkallio@8:
adam@20: defaultFormatPanel <- create @defaultFormat defaultContent True;
adam@20: otherFormatPanel <- create @otherFormat otherContent False;
kkallio@8:
kkallio@8: return
kkallio@8:
kkallio@8: A panel that can be shown or hidden.
kkallio@8:
kkallio@8:
kkallio@8: Example using the togglePanel widget.
kkallio@8:
kkallio@8: This is a widget which has a content display panel
kkallio@8: which can be shown or hidden.
kkallio@8:
kkallio@8: Example of the default format, starting open.
kkallio@8:
kkallio@8: {toXml defaultFormatPanel}
kkallio@8:
kkallio@8: Example of another format, starting closed.
kkallio@8:
kkallio@8: {toXml otherFormatPanel}
kkallio@8:
kkallio@8:
kkallio@8: