Mercurial > gui
comparison navbar.ur @ 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 | d32fb0f7b137 |
comparison
equal
deleted
inserted
replaced
23:7c734edc6301 | 24:d314d2ec3300 |
---|---|
1 style active | 1 style active |
2 style last | 2 style last |
3 | 3 |
4 datatype navItem = NavItem of string * url | 4 datatype navItem = NavItem of string * url |
5 | |
6 fun name (NavItem (text, url)) = text | |
5 | 7 |
6 datatype navBar m = NavBar of (list navItem) * (list navItem) | 8 datatype navBar m = NavBar of (list navItem) * (list navItem) |
7 (* First list is items before the active item, second list is items at and after the active one. | 9 (* First list is items before the active item, second list is items at and after the active one. |
8 * If the second list is non-empty its head is the active item. Parameter mode is to avoid | 10 * If the second list is non-empty its head is the active item. Parameter mode is to avoid |
9 * double reverses coming from calling printingNavBar. *) | 11 * double reverses coming from calling printingNavBar. *) |