gitweb: A couple of page title tweaking

[jc: the e-mailed patch did not apply, so I had to guess but I think
 I got the result right.]

diff --git a/gitweb.cgi b/gitweb.cgi
index ba1147e59f6194524103402740e085934f65a46e5041cccafd3a7dc4e1146c71..7d50f0406171ec4783d03c0ce86f9db54e239038ce3e9b7a09979b7920900494 100755 (executable)
--- a/gitweb.cgi
+++ b/gitweb.cgi
@@ -261,6 +261,12 @@ sub git_header_html {
                $title .= " - $project";
                if (defined $action) {
                        $title .= "/$action";
+                       if (defined $file_name) {
+                               $title .= " - $file_name";
+                               if ($action eq "tree" && $file_name !~ m|/$|) {
+                                       $title .= "/";
+                               }
+                       }
                }
        }
        print $cgi->header(-type=>'text/html',  -charset => 'utf-8', -status=> $status, -expires => $expires);