Mercurial > gui
annotate 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 |
| rev | line source |
|---|---|
| kkallio@8 | 1 (* Gui framework elements common across individual components. *) |
| kkallio@8 | 2 |
| kkallio@8 | 3 class gui |
| kkallio@8 | 4 (* Types of this class describe gui components. *) |
| kkallio@8 | 5 |
| kkallio@8 | 6 val toXml : t ::: Type -> gui t -> t -> xbody |
| kkallio@8 | 7 (* Currently the only thing a gui component can do is be |
| kkallio@8 | 8 * pretty printed to a piece of xml. *) |
| kkallio@8 | 9 |
| kkallio@8 | 10 val gui_xbody : gui xbody |
| kkallio@8 | 11 (* Xml itself can be a gui component. *) |
| kkallio@8 | 12 |
| kkallio@8 | 13 val mkGui : t ::: Type -> (t -> xbody) -> gui t |
| kkallio@8 | 14 (* How to add components to the gui class. *) |