diff --git a/extensions/chromium/preferences_schema.json b/extensions/chromium/preferences_schema.json index bd2a88fd5..c4ea94889 100644 --- a/extensions/chromium/preferences_schema.json +++ b/extensions/chromium/preferences_schema.json @@ -94,10 +94,6 @@ "type": "boolean", "description": "Whether to prevent the extension from reporting the extension and browser version to the extension developers.", "default": false - }, - "enhanceTextSelection": { - "type": "boolean", - "default": false } } } diff --git a/web/app.js b/web/app.js index 123787459..aed71e46c 100644 --- a/web/app.js +++ b/web/app.js @@ -101,6 +101,7 @@ var SCALE_SELECT_CONTAINER_PADDING = 8; var SCALE_SELECT_PADDING = 22; var PAGE_NUMBER_LOADING_INDICATOR = 'visiblePageIsLoading'; var DISABLE_AUTO_FETCH_LOADING_BAR_TIMEOUT = 5000; +var ENHANCE_TEXT_SELECTION = false; function configure(PDFJS) { PDFJS.imageResourcesPath = './images/'; @@ -176,7 +177,6 @@ var PDFViewerApplication = { preferencePdfBugEnabled: false, preferenceShowPreviousViewOnLoad: true, preferenceDefaultZoomValue: '', - preferenceEnhanceTextSelection: false, isViewerEmbedded: (window.parent !== window), url: '', externalServices: DefaultExernalServices, @@ -206,9 +206,6 @@ var PDFViewerApplication = { Preferences.get('defaultZoomValue').then(function resolved(value) { self.preferenceDefaultZoomValue = value; }), - Preferences.get('enhanceTextSelection').then(function resolved(value) { - self.preferenceEnhanceTextSelection = value; - }), Preferences.get('disableTextLayer').then(function resolved(value) { if (PDFJS.disableTextLayer === true) { return; @@ -277,7 +274,7 @@ var PDFViewerApplication = { renderingQueue: pdfRenderingQueue, linkService: pdfLinkService, downloadManager: downloadManager, - enhanceTextSelection: this.preferenceEnhanceTextSelection, + enhanceTextSelection: ENHANCE_TEXT_SELECTION, }); pdfRenderingQueue.setViewer(this.pdfViewer); pdfLinkService.setViewer(this.pdfViewer); diff --git a/web/default_preferences.json b/web/default_preferences.json index 88cc91098..ebc1b4282 100644 --- a/web/default_preferences.json +++ b/web/default_preferences.json @@ -11,6 +11,5 @@ "disableFontFace": false, "disableTextLayer": false, "useOnlyCssZoom": false, - "externalLinkTarget": 0, - "enhanceTextSelection": false -} \ No newline at end of file + "externalLinkTarget": 0 +} diff --git a/web/text_layer_builder.js b/web/text_layer_builder.js index e87fa310d..c8b6e6b5a 100644 --- a/web/text_layer_builder.js +++ b/web/text_layer_builder.js @@ -36,7 +36,7 @@ * @property {PageViewport} viewport - The viewport of the text layer. * @property {PDFFindController} findController * @property {boolean} enhanceTextSelection - Option to turn on improved - * text selection. The default value is `false`. + * text selection. */ /** @@ -59,7 +59,7 @@ var TextLayerBuilder = (function TextLayerBuilderClosure() { this.textDivs = []; this.findController = options.findController || null; this.textLayerRenderTask = null; - this.enhanceTextSelection = options.enhanceTextSelection || false; + this.enhanceTextSelection = options.enhanceTextSelection; this._bindMouse(); }