Bug 1298435 - upon browser window resize, update all the rects we track for each range we found and correctly reposition all oulines atop the mask. r=jaws

MozReview-Commit-ID: 46q0hVxfczW

--HG--
extra : rebase_source : aa33f2cc5432aa61ba8074af72109d0aeaadde99
This commit is contained in:
Mike de Boer 2016-08-30 13:25:58 +02:00
Родитель 4b882652fe
Коммит 8c6203d47d
1 изменённых файлов: 35 добавлений и 21 удалений

Просмотреть файл

@ -769,6 +769,7 @@ FinderHighlighter.prototype = {
* defaults to `true`
* @param {Object} [dict] Dictionary of properties belonging to
* the currently active window
* @return {Set} Set of rects that were found for the range
*/
_updateRangeRects(range, checkIfDynamic = true, dict = null) {
let window = range.startContainer.ownerDocument.defaultView;
@ -800,6 +801,7 @@ FinderHighlighter.prototype = {
dict.modalHighlightRectsMap.set(range, rects);
if (checkIfDynamic && this._isInDynamicContainer(range))
dict.dynamicRangesSet.add(range);
return rects;
},
/**
@ -830,7 +832,7 @@ FinderHighlighter.prototype = {
*/
_updateRangeOutline(dict, textContent = [], fontStyle = null) {
let outlineNode = dict.modalHighlightOutline;
let range = dict.currentFoundRange;
let range = this.finder._fastFind.getFoundRange();
if (!outlineNode || !range)
return;
let rect = range.getClientRects()[0];
@ -964,11 +966,14 @@ FinderHighlighter.prototype = {
let maskContent = [];
const kRectClassName = kModalIdPrefix + "-findbar-modalHighlight-rect";
for (let [range, rects] of dict.modalHighlightRectsMap) {
if (dict.updateAllRanges)
rects = this._updateRangeRects(range);
for (let rect of rects) {
maskContent.push(`<div class="${kRectClassName}" style="top: ${rect.y}px;
left: ${rect.x}px; height: ${rect.height}px; width: ${rect.width}px;"></div>`);
}
}
dict.updateAllRanges = false;
maskNode.innerHTML = maskContent.join("");
}
@ -1018,8 +1023,11 @@ FinderHighlighter.prototype = {
* {Boolean} scrollOnly TRUE when the page has scrolled in the meantime,
* which means that the fixed positioned elements
* need to be repainted.
* {Boolean} updateAllRanges Whether to recalculate the rects of all ranges
* that were found up until now.
*/
_scheduleRepaintOfMask(window, { contentChanged, scrollOnly } = { contentChanged: false, scrollOnly: false }) {
_scheduleRepaintOfMask(window, { contentChanged, scrollOnly, updateAllRanges } =
{ contentChanged: false, scrollOnly: false, updateAllRanges: false }) {
if (!this._modal)
return;
@ -1031,6 +1039,9 @@ FinderHighlighter.prototype = {
// `_repaintHighlightAllMask()` right after the timeout.
if (!dict.unconditionalRepaintRequested)
dict.unconditionalRepaintRequested = !contentChanged || repaintFixedNodes;
// Some events, like a resize, call for recalculation of all the rects of all ranges.
if (!dict.updateAllRanges)
dict.updateAllRanges = updateAllRanges;
if (dict.modalRepaintScheduler)
return;
@ -1094,14 +1105,16 @@ FinderHighlighter.prototype = {
window = window.top;
dict.highlightListeners = [
this._scheduleRepaintOfMask.bind(this, window, { contentChanged: true }),
this._scheduleRepaintOfMask.bind(this, window, { updateAllRanges: true }),
this._scheduleRepaintOfMask.bind(this, window, { scrollOnly: true }),
this.hide.bind(this, window, null)
];
let target = this.iterator._getDocShell(window).chromeEventHandler;
target.addEventListener("MozAfterPaint", dict.highlightListeners[0]);
target.addEventListener("DOMMouseScroll", dict.highlightListeners[1]);
target.addEventListener("mousewheel", dict.highlightListeners[1]);
target.addEventListener("click", dict.highlightListeners[2]);
target.addEventListener("resize", dict.highlightListeners[1]);
target.addEventListener("DOMMouseScroll", dict.highlightListeners[2]);
target.addEventListener("mousewheel", dict.highlightListeners[2]);
target.addEventListener("click", dict.highlightListeners[3]);
},
/**
@ -1117,9 +1130,10 @@ FinderHighlighter.prototype = {
let target = this.iterator._getDocShell(window).chromeEventHandler;
target.removeEventListener("MozAfterPaint", dict.highlightListeners[0]);
target.removeEventListener("DOMMouseScroll", dict.highlightListeners[1]);
target.removeEventListener("mousewheel", dict.highlightListeners[1]);
target.removeEventListener("click", dict.highlightListeners[2]);
target.removeEventListener("resize", dict.highlightListeners[1]);
target.removeEventListener("DOMMouseScroll", dict.highlightListeners[2]);
target.removeEventListener("mousewheel", dict.highlightListeners[2]);
target.removeEventListener("click", dict.highlightListeners[3]);
dict.highlightListeners = null;
},