Mercurial > gui

diff navbar.urs @ 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
line wrap: on
line diff
--- a/navbar.urs	Sat Sep 24 18:55:27 2011 -0430
+++ b/navbar.urs	Sun Dec 04 16:45:31 2011 +0100
@@ -47,6 +47,9 @@
 (* Pretty print the navigation menu as a piece of xml made of
  * a chain <li><a>...</a></li> repeated. *)
 
+val name : navItem -> string
+(* navItems have a name, which this function returns *)
+
 style active
 style last
 (* CSS classes to mark the active and last menu item. *)