Mercurial > gui
comparison togglePanel.ur @ 28:7d0014542199
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) |