Mercurial > gui

comparison popupNav.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 48a4180171b0
children
comparison
equal deleted inserted replaced
30:c1f06342c81f 31:b5432d74841a
5 OpenCtl : transaction unit -> xbody, 5 OpenCtl : transaction unit -> xbody,
6 CloseCtl : transaction unit -> xbody} 6 CloseCtl : transaction unit -> xbody}
7 7
8 val defaultFormat = {FormatMenu = fn ctl menu => <xml>{ctl}{menu}</xml>, 8 val defaultFormat = {FormatMenu = fn ctl menu => <xml>{ctl}{menu}</xml>,
9 WrapMenu = fn menu => <xml><ul>{menu}</ul></xml>, 9 WrapMenu = fn menu => <xml><ul>{menu}</ul></xml>,
10 OpenCtl = fn behaviour => <xml><button value="Open" onclick={behaviour}/></xml>, 10 OpenCtl = fn behaviour => <xml><button value="Open" onclick={fn _ => behaviour}/></xml>,
11 CloseCtl = fn behaviour => <xml><button value="Close" onclick={behaviour}/></xml>} 11 CloseCtl = fn behaviour => <xml><button value="Close" onclick={fn _ => behaviour}/></xml>}
12 12
13 open Navbar 13 open Navbar
14 14
15 con popupNav t = {MenuState : source menuState, 15 con popupNav t = {MenuState : source menuState,
16 FormatCtl : formatCtl, 16 FormatCtl : formatCtl,