Mercurial > gui
comparison gui.urs @ 8:90be8b8917d5
Add a widget that opens and closes a panel.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Fri, 17 Jun 2011 10:12:05 -0430 |
| parents | |
| children | 16447dc6a68c |
comparison
equal
deleted
inserted
replaced
| 7:48a4180171b0 | 8:90be8b8917d5 |
|---|---|
| 1 (* Gui framework elements common across individual components. *) | |
| 2 | |
| 3 class gui | |
| 4 (* Types of this class describe gui components. *) | |
| 5 | |
| 6 val toXml : t ::: Type -> gui t -> t -> xbody | |
| 7 (* Currently the only thing a gui component can do is be | |
| 8 * pretty printed to a piece of xml. *) | |
| 9 | |
| 10 val gui_xbody : gui xbody | |
| 11 (* Xml itself can be a gui component. *) | |
| 12 | |
| 13 val mkGui : t ::: Type -> (t -> xbody) -> gui t | |
| 14 (* How to add components to the gui class. *) |