diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-27 18:09:21 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-04-27 18:09:21 -0400 |
commit | 63fc8aaf40dfd70129a8d8ae1eed71b43c889591 (patch) | |
tree | 5427df8ccdea57e3ffb748b0300e1080952dc548 | |
parent | c79391db1737fa663904191e8cb41ef832f216f4 (diff) |
Menu: Make the current subsite a link
-rw-r--r-- | menu.ur | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ fun getUrl (n : Config.pageName) : url = fun header (current : Config.pageName) : xbody = let fun item (target : Config.pageName) = if Variant.eq current target - then <xml><li class={active}>{getName target}</li></xml> + then <xml><li class={active}><a href={getUrl target}>{getName target}</a></li></xml> else <xml><li><a href={getUrl target}>{getName target}</a></li></xml> in <xml> |