Mercurial > gui

comparison togglePanel.urs @ 18:16447dc6a68c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
17:2947170fcfd6 18:16447dc6a68c
23 * the panel and produce an xml control having this as action. *) 23 * the panel and produce an xml control having this as action. *)
24 24
25 val defaultFormat : formatCtl 25 val defaultFormat : formatCtl
26 (* Some reasonable default formats for the layout and controls. *) 26 (* Some reasonable default formats for the layout and controls. *)
27 27
28 val create : t ::: Type -> Gui.gui t -> formatCtl -> t -> bool -> transaction (togglePanel t) 28 val create : t ::: Type -> Gui.gui t xbody -> formatCtl -> t -> bool -> transaction (togglePanel t)
29 (* Given instructions for formatting the display, some content and whether to start in 29 (* Given instructions for formatting the display, some content and whether to start in
30 * the open state get such a togglePanel. *) 30 * the open state get such a togglePanel. *)
31 31
32 val gui_togglePanel : t ::: Type -> Gui.gui t -> Gui.gui (togglePanel t) 32 val gui_togglePanel : t ::: Type -> Gui.gui t xbody -> Gui.gui (togglePanel t) xbody
33 (* The togglePanel is itself a widget. It can be pretty printed to a piece 33 (* The togglePanel is itself a widget. It can be pretty printed to a piece
34 * of xml with a use of toXml. *) 34 * of xml with a use of toXml. *)