Mercurial > gui
diff togglePanel.ur @ 21:30f9a763f5fb
Tweak TogglePanel signature
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 24 Sep 2011 17:35:33 -0400 |
| parents | 554e342665fe |
| children | 5905b56e0cd9 |
line wrap: on
line diff
--- a/togglePanel.ur Sat Sep 24 15:47:00 2011 -0400 +++ b/togglePanel.ur Sat Sep 24 17:35:33 2011 -0400 @@ -1,9 +1,11 @@ datatype panelState = Open | Closed con formatCtl = fn ctx :: {Unit} => [body ~ ctx] => - {FormatPanel : xbody -> xbody -> xml (body ++ ctx) [] [], - OpenCtl : transaction unit -> xbody, - CloseCtl : transaction unit -> xbody} + {FormatPanel : xml (body ++ ctx) [] [] + -> xml (body ++ ctx) [] [] + -> xml (body ++ ctx) [] [], + OpenCtl : transaction unit -> xml (body ++ ctx) [] [], + CloseCtl : transaction unit -> xml (body ++ ctx) [] []} val defaultFormat [body ~ []] = {FormatPanel = fn ctl panel => <xml>{ctl}{panel}</xml>,