Browse Source

Revert "Add a `enhanceTextSelection` preference to the viewer"

This reverts commit 15e45d772f.
Tim van der Meij 9 years ago
parent
commit
a2525a8ba3
  1. 4
      extensions/chromium/preferences_schema.json
  2. 7
      web/app.js
  3. 3
      web/default_preferences.json
  4. 4
      web/text_layer_builder.js

4
extensions/chromium/preferences_schema.json

@ -94,10 +94,6 @@ @@ -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
}
}
}

7
web/app.js

@ -101,6 +101,7 @@ var SCALE_SELECT_CONTAINER_PADDING = 8; @@ -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 = { @@ -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 = { @@ -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 = { @@ -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);

3
web/default_preferences.json

@ -11,6 +11,5 @@ @@ -11,6 +11,5 @@
"disableFontFace": false,
"disableTextLayer": false,
"useOnlyCssZoom": false,
"externalLinkTarget": 0,
"enhanceTextSelection": false
"externalLinkTarget": 0
}

4
web/text_layer_builder.js

@ -36,7 +36,7 @@ @@ -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() { @@ -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();
}

Loading…
Cancel
Save