summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2013-04-27 18:09:21 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2013-04-27 18:09:21 -0400
commit63fc8aaf40dfd70129a8d8ae1eed71b43c889591 (patch)
tree5427df8ccdea57e3ffb748b0300e1080952dc548
parentc79391db1737fa663904191e8cb41ef832f216f4 (diff)
Menu: Make the current subsite a link
-rw-r--r--menu.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/menu.ur b/menu.ur
index 83d6176..299f01f 100644
--- a/menu.ur
+++ b/menu.ur
@@ -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>