Mercurial > gui
diff examples/togglepanel.ur @ 29:93140c5cc972
Clean up dependencies and examples; add Style module
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 12 May 2012 10:03:44 -0400 |
| parents | 554e342665fe |
| children |
line wrap: on
line diff
--- a/examples/togglepanel.ur Sun Feb 12 10:27:02 2012 -0500 +++ b/examples/togglepanel.ur Sat May 12 10:03:44 2012 -0400 @@ -4,7 +4,7 @@ val defaultContent : xbody = <xml><p>Here I am inside the panel.<br/><b>Default format</b></p></xml> val otherContent : xbody = <xml><p>Here I am inside the panel.<br/><b>Other format</b></p></xml> -val otherFormat = fn [body ~ []] => +val otherFormat = fn [[Dyn] ~ body'] => {FormatPanel = fn ctl panel => <xml><span>A Custom {ctl} Format</span>{panel}</xml>, OpenCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>View</a></xml>, CloseCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>Hide</a></xml>}