Mercurial > gui
view gui.ur @ 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 |
line wrap: on
line source
class gui t = t -> xbody fun toXml [t ::: Type] (xmlize : gui t) = xmlize fun gui_xbody x = x fun mkGui [t ::: Type] (toXml : t -> xbody) = toXml