Mercurial > gui
comparison navbar.urs @ 24:d314d2ec3300
Be able to obtain the name from a navItem
| author | Ron de Bruijn <rmbruijn@gmail.com> |
|---|---|
| date | Sun, 04 Dec 2011 16:45:31 +0100 |
| parents | f17b869fbb71 |
| children |
comparison
equal
deleted
inserted
replaced
| 23:7c734edc6301 | 24:d314d2ec3300 |
|---|---|
| 45 | 45 |
| 46 val navBarToXml : t ::: Type -> mode t -> navBar t -> xbody | 46 val navBarToXml : t ::: Type -> mode t -> navBar t -> xbody |
| 47 (* Pretty print the navigation menu as a piece of xml made of | 47 (* Pretty print the navigation menu as a piece of xml made of |
| 48 * a chain <li><a>...</a></li> repeated. *) | 48 * a chain <li><a>...</a></li> repeated. *) |
| 49 | 49 |
| 50 val name : navItem -> string | |
| 51 (* navItems have a name, which this function returns *) | |
| 52 | |
| 50 style active | 53 style active |
| 51 style last | 54 style last |
| 52 (* CSS classes to mark the active and last menu item. *) | 55 (* CSS classes to mark the active and last menu item. *) |