Mercurial > gui

comparison togglePanel.urs @ 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
comparison
equal deleted inserted replaced
27:5905b56e0cd9 28:7d0014542199
37 val gui_togglePanel : t ::: Type -> ctx ::: {Unit} 37 val gui_togglePanel : t ::: Type -> ctx ::: {Unit}
38 -> Gui.gui t ctx 38 -> Gui.gui t ctx
39 -> Gui.gui (togglePanel t ctx) ctx 39 -> Gui.gui (togglePanel t ctx) ctx
40 (* The togglePanel is itself a widget. It can be pretty printed to a piece 40 (* The togglePanel is itself a widget. It can be pretty printed to a piece
41 * of XML with a use of [toXml]. *) 41 * of XML with a use of [toXml]. *)
42
43 val isOpen : t ::: Type -> ctx ::: {Unit} -> togglePanel t ctx -> signal bool
44 (* Is the inner content currently being displayed? *)