Enable/disable search via about:config pref

diff --git a/extensions/firefox/components/PdfStreamConverter.js b/extensions/firefox/components/PdfStreamConverter.js
index 1bcccbe22ad49499e85daa09bb3cff3685550c0b..f866a6b2fd77630d33b24fef4c2205a50556c00d 100644 (file)
--- a/extensions/firefox/components/PdfStreamConverter.js
+++ b/extensions/firefox/components/PdfStreamConverter.js
@@ -161,6 +161,9 @@ ChromeActions.prototype = {
   },
   pdfBugEnabled: function() {
     return getBoolPref(EXT_PREFIX + '.pdfBugEnabled', false);
+  },
+  searchEnabled: function() {
+    return getBoolPref(EXT_PREFIX + '.searchEnabled', false);
   }
 };
 

diff --git a/web/viewer.html b/web/viewer.html
index ff3a21455c45575dfe1d50b90dc8466478ab6f34..11c6ad0b71e17e4ff1608f0611a0a668399a0d2d 100644 (file)
--- a/web/viewer.html
+++ b/web/viewer.html
@@ -51,7 +51,7 @@
           <button id="viewOutline" class="toolbarButton group" title="Show Document Outline" onclick="PDFView.switchSidebarView('outline')" tabindex="2" data-l10n-id="outline">
              <span data-l10n-id="outline_label">Document Outline</span>
           </button>
-          <button id="viewSearch" class="toolbarButton group" title="Search Document" onclick="PDFView.switchSidebarView('search')" tabindex="3" data-l10n-id="search">
+          <button id="viewSearch" class="toolbarButton group hidden" title="Search Document" onclick="PDFView.switchSidebarView('search')" tabindex="3" data-l10n-id="search">
              <span data-l10n-id="search_label">Search Document</span>
           </button>
         </div>

diff --git a/web/viewer.js b/web/viewer.js
index 1fbd91f1db5546846c307d2492170f01fd4d3097..b9407305df77ce8899509be74c817d178d98cfc9 100644 (file)
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -733,7 +733,7 @@ var PDFView = {
     var thumbsView = document.getElementById('thumbnailView');
     var outlineView = document.getElementById('outlineView');
     var searchView = document.getElementById('searchView');
-    
+
     var thumbsButton = document.getElementById('viewThumbnail');
     var outlineButton = document.getElementById('viewOutline');
     var searchButton = document.getElementById('viewSearch');
@@ -1490,6 +1490,11 @@ window.addEventListener('load', function webViewerLoad(evt) {
     PDFBug.init();
   }
 
+  if (!PDFJS.isFirefoxExtension ||
+    (PDFJS.isFirefoxExtension && FirefoxCom.request('searchEnabled'))) {
+    document.querySelector('#viewSearch').classList.remove('hidden');
+  }
+
   var thumbsView = document.getElementById('thumbnailView');
   thumbsView.addEventListener('scroll', updateThumbViewArea, true);