From 23bf35d5ef34039fd181b3f25b973a4d30f1720d Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Tue, 24 Jan 2012 14:55:07 -0800
Subject: [PATCH] Fix anchor links.

---
 web/viewer.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/web/viewer.js b/web/viewer.js
index f65c75434..1ed9019ff 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -269,15 +269,18 @@ var PDFView = {
   },
 
   getDestinationHash: function pdfViewGetDestinationHash(dest) {
+    // We add the full url for the extension so the anchor links don't come up
+    // as resource:// urls and so open in new tab/window works.
+    var url = PDFJS.isFirefoxExtension ? this.url.split('#')[0] : '';
     if (typeof dest === 'string')
-      return '#' + escape(dest);
+      return url + '#' + escape(dest);
     if (dest instanceof Array) {
       var destRef = dest[0]; // see navigateTo method for dest format
       var pageNumber = destRef instanceof Object ?
         this.pagesRefMap[destRef.num + ' ' + destRef.gen + ' R'] :
         (destRef + 1);
       if (pageNumber) {
-        var pdfOpenParams = '#page=' + pageNumber;
+        var pdfOpenParams = url + '#page=' + pageNumber;
         var destKind = dest[1];
         if ('name' in destKind && destKind.name == 'XYZ') {
           var scale = (dest[4] || this.currentScale);