Mercurial > gui
diff togglePanel.urs @ 18:16447dc6a68c
Introduction of multi-parameter type class for gui components
| author | Ron de Bruijn <rmbruijn@gmail.com> |
|---|---|
| date | Thu, 22 Sep 2011 19:24:01 +0200 |
| parents | 90be8b8917d5 |
| children | 3a303df9ae92 |
line wrap: on
line diff
--- a/togglePanel.urs Sun Aug 21 11:27:41 2011 -0400 +++ b/togglePanel.urs Thu Sep 22 19:24:01 2011 +0200 @@ -25,10 +25,10 @@ val defaultFormat : formatCtl (* Some reasonable default formats for the layout and controls. *) -val create : t ::: Type -> Gui.gui t -> formatCtl -> t -> bool -> transaction (togglePanel t) +val create : t ::: Type -> Gui.gui t xbody -> formatCtl -> t -> bool -> transaction (togglePanel t) (* Given instructions for formatting the display, some content and whether to start in * the open state get such a togglePanel. *) -val gui_togglePanel : t ::: Type -> Gui.gui t -> Gui.gui (togglePanel t) +val gui_togglePanel : t ::: Type -> Gui.gui t xbody -> Gui.gui (togglePanel t) xbody (* The togglePanel is itself a widget. It can be pretty printed to a piece * of xml with a use of toXml. *)