Use Title - Filename as document.title

diff --git a/web/viewer.js b/web/viewer.js
index 72e887f4a75d4dab2086a4b463c6147a64e2aadb..3587c96bdf3c35d3044394bc458e7e5aac926eda 100644 (file)
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -575,7 +575,7 @@ var PDFView = {
       pdfTitle = info['Title'];
 
     if (pdfTitle)
-      document.title = pdfTitle;
+      document.title = pdfTitle + ' - ' + document.title;
   },
 
   setHash: function pdfViewSetHash(hash) {