diff --git a/extensions/firefox/components/PdfStreamConverter.js b/extensions/firefox/components/PdfStreamConverter.js
index 1bcccbe22..f866a6b2f 100644
--- 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 ff3a21455..11c6ad0b7 100644
--- a/web/viewer.html
+++ b/web/viewer.html
@@ -51,7 +51,7 @@
-