ZenBrowserMirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/zen-browser/pdf.js.git synced 2025-07-10 02:05:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

fixing 7590 by delaying div shrink after mouse up

Browse source
This commit is contained in:
Jeremy Press 2016-09-08 13:20:11 -07:00
parent ca61ccc533
commit e68f4f855f
1 changed files with 17 additions and 1 deletions
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');