Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #7618 from jeremypress/fix-enhanced-double-click

Browse Source 
fixing #7590 by delaying div shrink after mouse up
This commit is contained in:
Tim van der Meij 2016-09-28 23:30:35 +02:00 committed by GitHub
commit 1564dc311a
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
web/text_layer_builder.js
View File

@ -28,6 +28,8 @@
} }
}(this, function (exports, domEvents, pdfjsLib) { }(this, function (exports, domEvents, pdfjsLib) {
var EXPAND_DIVS_TIMEOUT = 300; // ms
/** /**
* @typedef {Object} TextLayerBuilderOptions * @typedef {Object} TextLayerBuilderOptions
* @property {HTMLDivElement} textLayerDiv - The text layer container. * @property {HTMLDivElement} textLayerDiv - The text layer container.
@ -321,9 +323,16 @@ var TextLayerBuilder = (function TextLayerBuilderClosure() {
_bindMouse: function TextLayerBuilder_bindMouse() { _bindMouse: function TextLayerBuilder_bindMouse() {
var div = this.textLayerDiv; var div = this.textLayerDiv;
var self = this; var self = this;
var expandDivsTimer = null;
div.addEventListener('mousedown', function (e) { div.addEventListener('mousedown', function (e) {
if (self.enhanceTextSelection && self.textLayerRenderTask) { if (self.enhanceTextSelection && self.textLayerRenderTask) {
self.textLayerRenderTask.expandTextDivs(true); self.textLayerRenderTask.expandTextDivs(true);
//#if !(MOZCENTRAL || FIREFOX)
if (expandDivsTimer) {
clearTimeout(expandDivsTimer);
expandDivsTimer = null;
}
//#endif
return; return;
} }
var end = div.querySelector('.endOfContent'); var end = div.querySelector('.endOfContent');
@ -350,7 +359,14 @@ var TextLayerBuilder = (function TextLayerBuilderClosure() {
}); });
div.addEventListener('mouseup', function (e) { div.addEventListener('mouseup', function (e) {
if (self.enhanceTextSelection && self.textLayerRenderTask) { if (self.enhanceTextSelection && self.textLayerRenderTask) {
self.textLayerRenderTask.expandTextDivs(false); //#if !(MOZCENTRAL || FIREFOX)
expandDivsTimer = setTimeout(function() {
self.textLayerRenderTask.expandTextDivs(false);
expandDivsTimer = null;
}, EXPAND_DIVS_TIMEOUT);
//#else
// self.textLayerRenderTask.expandTextDivs(false);
//#endif
return; return;
} }
var end = div.querySelector('.endOfContent'); var end = div.querySelector('.endOfContent');