Mercurial > gui

diff 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
line wrap: on
line diff
--- a/togglePanel.urs	Tue Dec 20 21:04:21 2011 -0500
+++ b/togglePanel.urs	Sun Feb 12 10:27:02 2012 -0500
@@ -39,3 +39,6 @@
                       -> Gui.gui (togglePanel t ctx) ctx
 (* The togglePanel is itself a widget.  It can be pretty printed to a piece
  * of XML with a use of [toXml]. *)
+
+val isOpen : t ::: Type -> ctx ::: {Unit} -> togglePanel t ctx -> signal bool
+(* Is the inner content currently being displayed? *)