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@29: val otherFormat = fn [[Dyn] ~ 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: