Mercurial > gui

comparison togglePanel.ur @ 28:7d0014542199

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TogglePanel.isOpen
author Adam Chlipala <adam@chlipala.net>
date Sun, 12 Feb 2012 10:27:02 -0500
parents 5905b56e0cd9
children b5432d74841a
comparison
equal deleted inserted replaced
27:5905b56e0cd9 28:7d0014542199
52 }/> 52 }/>
53 </xml> 53 </xml>
54 end 54 end
55 55
56 fun gui_togglePanel [t ::: Type] [ctx ::: {Unit}] (g : gui t ctx) = mkGui (@render g) 56 fun gui_togglePanel [t ::: Type] [ctx ::: {Unit}] (g : gui t ctx) = mkGui (@render g)
57
58 fun isOpen [t] [ctx] (t : togglePanel t ctx) =
59 v <- signal t.PanelState;
60 return (case v of
61 Open => True
62 | Closed => False)