Mercurial > gui

comparison navbar.ur @ 24:d314d2ec3300

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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. *)