Wed Sep  7 06:40:50 UTC 2005  Alberto Bertogli <albertogli@telpin.com.ar>
  * Pass the filename to the navigation bar where it's missing.
diff -rN -u old-darcsweb/darcsweb.cgi new-darcsweb/darcsweb.cgi
--- old-darcsweb/darcsweb.cgi	2016-01-06 06:51:23.000000000 +0000
+++ new-darcsweb/darcsweb.cgi	2016-01-06 06:51:24.000000000 +0000
@@ -970,7 +970,7 @@
 
 def do_darcs_filediff(phash, fname):
 	print_header()
-	print_navbar(h = phash)
+	print_navbar(h = phash, f = fname)
 	p = get_patch(phash)
 	print """
 <div>
@@ -1018,7 +1018,7 @@
 
 def do_darcs_fileheaddiff(phash, fname):
 	print_header()
-	print_navbar(h = phash)
+	print_navbar(h = phash, f = fname)
 	p = get_patch(phash)
 	print """
 <div>