Mercurial > gui

annotate popupNav.ur @ 16:2e397d373289

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add RemotePager.
author Karn Kallio <kkallio@eka>
date Thu, 18 Aug 2011 12:53:17 -0430
parents 48a4180171b0
children b5432d74841a
rev   line source
kkallio@6 1 datatype menuState = Open | Closed
kkallio@6 2
kkallio@6 3 type formatCtl = {FormatMenu : xbody -> xbody -> xbody,
kkallio@7 4 WrapMenu : xbody -> xbody,
kkallio@6 5 OpenCtl : transaction unit -> xbody,
kkallio@6 6 CloseCtl : transaction unit -> xbody}
kkallio@6 7
kkallio@7 8 val defaultFormat = {FormatMenu = fn ctl menu => <xml>{ctl}{menu}</xml>,
kkallio@7 9 WrapMenu = fn menu => <xml><ul>{menu}</ul></xml>,
kkallio@6 10 OpenCtl = fn behaviour => <xml><button value="Open" onclick={behaviour}/></xml>,
kkallio@6 11 CloseCtl = fn behaviour => <xml><button value="Close" onclick={behaviour}/></xml>}
kkallio@6 12
kkallio@6 13 open Navbar
kkallio@6 14
kkallio@6 15 con popupNav t = {MenuState : source menuState,
kkallio@6 16 FormatCtl : formatCtl,
kkallio@6 17 NavBar : navBar t}
kkallio@6 18
kkallio@6 19 fun create [t ::: Type] (f : formatCtl) (m : mode t) (bar : navBar t) : transaction (popupNav t) =
kkallio@6 20 state <- source Closed;
kkallio@6 21
kkallio@6 22 return {MenuState = state,
kkallio@6 23 FormatCtl = f,
kkallio@6 24 NavBar = bar}
kkallio@6 25
kkallio@6 26 fun render [t ::: Type] (m : mode t) (popup : popupNav t) =
kkallio@6 27 popup.FormatCtl.FormatMenu
kkallio@6 28 <xml>
kkallio@6 29 <dyn signal={c <- signal popup.MenuState;
kkallio@6 30 return
kkallio@6 31 (case c of
kkallio@6 32 Open => <xml>{popup.FormatCtl.CloseCtl (set popup.MenuState Closed)}</xml>
kkallio@6 33 | Closed => <xml>{popup.FormatCtl.OpenCtl (set popup.MenuState Open)}</xml>)
kkallio@6 34 }/>
kkallio@6 35 </xml>
kkallio@6 36
kkallio@6 37 <xml>
kkallio@6 38 <dyn signal={c <- signal popup.MenuState;
kkallio@6 39 return
kkallio@6 40 (case c of
kkallio@7 41 Open => <xml>{popup.FormatCtl.WrapMenu (navBarToXml popup.NavBar)}</xml>
kkallio@6 42 | Closed => <xml/>)
kkallio@6 43 }/>
kkallio@6 44 </xml>