Mercurial > gui

comparison togglePanel.ur @ 31:b5432d74841a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:15:14 -0400
parents 7d0014542199
children
comparison
equal deleted inserted replaced
30:c1f06342c81f 31:b5432d74841a
7 OpenCtl : transaction unit -> xml ([Dyn] ++ ctx) [] [], 7 OpenCtl : transaction unit -> xml ([Dyn] ++ ctx) [] [],
8 CloseCtl : transaction unit -> xml ([Dyn] ++ ctx) [] []} 8 CloseCtl : transaction unit -> xml ([Dyn] ++ ctx) [] []}
9 9
10 val defaultFormat [[Dyn] ~ body'] = 10 val defaultFormat [[Dyn] ~ body'] =
11 {FormatPanel = fn ctl panel => <xml>{ctl}{panel}</xml>, 11 {FormatPanel = fn ctl panel => <xml>{ctl}{panel}</xml>,
12 OpenCtl = fn behaviour => <xml><button value="Open" onclick={behaviour}/></xml>, 12 OpenCtl = fn behaviour => <xml><button value="Open" onclick={fn _ => behaviour}/></xml>,
13 CloseCtl = fn behaviour => <xml><button value="Close" onclick={behaviour}/></xml>} 13 CloseCtl = fn behaviour => <xml><button value="Close" onclick={fn _ => behaviour}/></xml>}
14 14
15 con togglePanel t ctx = {PanelState : source panelState, 15 con togglePanel t ctx = {PanelState : source panelState,
16 FormatCtl : formatCtl ctx, 16 FormatCtl : formatCtl ctx,
17 Content : t} 17 Content : t}
18 18