Mercurial > gui

diff 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
line wrap: on
line diff
--- a/navbar.ur	Sat Sep 24 18:55:27 2011 -0430
+++ b/navbar.ur	Sun Dec 04 16:45:31 2011 +0100
@@ -3,6 +3,8 @@
 
 datatype navItem = NavItem of string * url
 
+fun name (NavItem (text, url)) = text
+
 datatype navBar m = NavBar of (list navItem) * (list navItem)
 (* First list is items before the active item, second list is items at and after the active one.
  * If the second list is non-empty its head is the active item.  Parameter mode is to avoid