annotate examples/togglepanel.ur @ 20:554e342665fe

Add a new parameter to Gui.gui
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 15:47:00 -0400
parents 90be8b8917d5
children 93140c5cc972
rev   line source
kkallio@8 1 open Gui
kkallio@8 2 open TogglePanel
kkallio@8 3
kkallio@8 4 val defaultContent : xbody = <xml><p>Here I am inside the panel.<br/><b>Default format</b></p></xml>
kkallio@8 5 val otherContent : xbody = <xml><p>Here I am inside the panel.<br/><b>Other format</b></p></xml>
kkallio@8 6
adam@20 7 val otherFormat = fn [body ~ []] =>
adam@20 8 {FormatPanel = fn ctl panel => <xml><span>A Custom {ctl} Format</span>{panel}</xml>,
adam@20 9 OpenCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>View</a></xml>,
adam@20 10 CloseCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>Hide</a></xml>}
kkallio@8 11
kkallio@8 12 fun main () =
kkallio@8 13
adam@20 14 defaultFormatPanel <- create @defaultFormat defaultContent True;
adam@20 15 otherFormatPanel <- create @otherFormat otherContent False;
kkallio@8 16
kkallio@8 17 return <xml>
kkallio@8 18 <head>
kkallio@8 19 <title>A panel that can be shown or hidden.</title>
kkallio@8 20 </head>
kkallio@8 21 <body>
kkallio@8 22 <h1>Example using the togglePanel widget.</h1>
kkallio@8 23 <p>
kkallio@8 24 This is a widget which has a content display panel
kkallio@8 25 which can be shown or hidden.
kkallio@8 26 </p>
kkallio@8 27 <h2>Example of the default format, starting open.</h2>
kkallio@8 28 <p>
kkallio@8 29 {toXml defaultFormatPanel}
kkallio@8 30 </p>
kkallio@8 31 <h2>Example of another format, starting closed.</h2>
kkallio@8 32 <p>
kkallio@8 33 {toXml otherFormatPanel}
kkallio@8 34 </p>
kkallio@8 35 </body>
kkallio@8 36 </xml>