2016-09-12 03:59:42 +00:00
|
|
|
|
/*
|
2017-08-15 06:22:37 +00:00
|
|
|
|
* Copyright (C) 2016-2017 Alex Yatskov <alex@foosoft.net>
|
2016-09-12 03:59:42 +00:00
|
|
|
|
* Author: Alex Yatskov <alex@foosoft.net>
|
|
|
|
|
*
|
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
* (at your option) any later version.
|
|
|
|
|
*
|
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*
|
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
2019-08-31 19:30:32 +00:00
|
|
|
|
function docSetImposterStyle(style, propertyName, value) {
|
|
|
|
|
style.setProperty(propertyName, value, 'important');
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-31 19:10:46 +00:00
|
|
|
|
function docImposterCreate(element, isTextarea) {
|
2019-08-31 19:30:32 +00:00
|
|
|
|
const elementStyle = window.getComputedStyle(element);
|
2019-08-31 17:58:45 +00:00
|
|
|
|
const elementRect = element.getBoundingClientRect();
|
2019-09-01 20:06:22 +00:00
|
|
|
|
const documentRect = document.documentElement.getBoundingClientRect();
|
|
|
|
|
const left = elementRect.left - documentRect.left;
|
|
|
|
|
const top = elementRect.top - documentRect.top;
|
|
|
|
|
|
|
|
|
|
// Container
|
|
|
|
|
const container = document.createElement('div');
|
|
|
|
|
const containerStyle = container.style;
|
|
|
|
|
docSetImposterStyle(containerStyle, 'all', 'initial');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'position', 'absolute');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'left', '0');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'top', '0');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'width', `${documentRect.width}px`);
|
|
|
|
|
docSetImposterStyle(containerStyle, 'height', `${documentRect.height}px`);
|
|
|
|
|
docSetImposterStyle(containerStyle, 'overflow', 'hidden');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'opacity', '0');
|
|
|
|
|
|
|
|
|
|
docSetImposterStyle(containerStyle, 'pointer-events', 'none');
|
|
|
|
|
docSetImposterStyle(containerStyle, 'z-index', '2147483646');
|
|
|
|
|
|
|
|
|
|
// Imposter
|
2017-03-01 04:23:29 +00:00
|
|
|
|
const imposter = document.createElement('div');
|
2019-08-31 19:30:32 +00:00
|
|
|
|
const imposterStyle = imposter.style;
|
|
|
|
|
|
2017-02-08 05:46:37 +00:00
|
|
|
|
imposter.innerText = element.value;
|
2019-08-31 19:30:32 +00:00
|
|
|
|
|
|
|
|
|
for (let i = 0, ii = elementStyle.length; i < ii; ++i) {
|
|
|
|
|
const property = elementStyle[i];
|
|
|
|
|
docSetImposterStyle(imposterStyle, property, elementStyle.getPropertyValue(property));
|
|
|
|
|
}
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'position', 'absolute');
|
2019-09-01 20:06:22 +00:00
|
|
|
|
docSetImposterStyle(imposterStyle, 'top', `${top}px`);
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'left', `${left}px`);
|
2019-08-31 19:30:32 +00:00
|
|
|
|
docSetImposterStyle(imposterStyle, 'margin', '0');
|
2019-09-01 20:06:22 +00:00
|
|
|
|
docSetImposterStyle(imposterStyle, 'pointer-events', 'auto');
|
2019-08-31 19:30:32 +00:00
|
|
|
|
|
2019-08-31 19:10:46 +00:00
|
|
|
|
if (isTextarea) {
|
2019-08-31 19:30:32 +00:00
|
|
|
|
if (elementStyle.overflow === 'visible') {
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'overflow', 'auto');
|
2019-08-31 19:10:46 +00:00
|
|
|
|
}
|
|
|
|
|
} else {
|
2019-08-31 19:30:32 +00:00
|
|
|
|
docSetImposterStyle(imposterStyle, 'overflow', 'hidden');
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'white-space', 'nowrap');
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'line-height', elementStyle.height);
|
2017-03-01 04:23:29 +00:00
|
|
|
|
}
|
2017-02-08 05:46:37 +00:00
|
|
|
|
|
2019-09-01 20:06:22 +00:00
|
|
|
|
container.appendChild(imposter);
|
|
|
|
|
document.body.appendChild(container);
|
2019-08-31 17:58:45 +00:00
|
|
|
|
|
|
|
|
|
// Adjust size
|
|
|
|
|
const imposterRect = imposter.getBoundingClientRect();
|
|
|
|
|
if (imposterRect.width !== elementRect.width || imposterRect.height !== elementRect.height) {
|
2019-08-31 19:30:32 +00:00
|
|
|
|
const width = parseFloat(elementStyle.width) + (elementRect.width - imposterRect.width);
|
|
|
|
|
const height = parseFloat(elementStyle.height) + (elementRect.height - imposterRect.height);
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'width', `${width}px`);
|
|
|
|
|
docSetImposterStyle(imposterStyle, 'height', `${height}px`);
|
2019-08-31 17:58:45 +00:00
|
|
|
|
}
|
|
|
|
|
|
2017-02-08 05:46:37 +00:00
|
|
|
|
imposter.scrollTop = element.scrollTop;
|
|
|
|
|
imposter.scrollLeft = element.scrollLeft;
|
2018-06-08 21:48:26 +00:00
|
|
|
|
|
2019-09-01 20:06:22 +00:00
|
|
|
|
return [imposter, container];
|
2017-02-08 05:46:37 +00:00
|
|
|
|
}
|
|
|
|
|
|
2017-05-25 03:42:54 +00:00
|
|
|
|
function docRangeFromPoint(point) {
|
2017-03-05 04:27:46 +00:00
|
|
|
|
const element = document.elementFromPoint(point.x, point.y);
|
2018-06-08 21:48:26 +00:00
|
|
|
|
let imposter = null;
|
2019-09-01 20:06:22 +00:00
|
|
|
|
let imposterContainer = null;
|
2017-07-09 22:23:11 +00:00
|
|
|
|
if (element) {
|
2019-08-10 17:33:00 +00:00
|
|
|
|
switch (element.nodeName) {
|
|
|
|
|
case 'IMG':
|
|
|
|
|
case 'BUTTON':
|
|
|
|
|
return new TextSourceElement(element);
|
|
|
|
|
case 'INPUT':
|
2019-09-01 20:06:22 +00:00
|
|
|
|
[imposter, imposterContainer] = docImposterCreate(element, false);
|
2019-08-31 19:10:46 +00:00
|
|
|
|
break;
|
2019-08-10 17:33:00 +00:00
|
|
|
|
case 'TEXTAREA':
|
2019-09-01 20:06:22 +00:00
|
|
|
|
[imposter, imposterContainer] = docImposterCreate(element, true);
|
2019-08-10 17:33:00 +00:00
|
|
|
|
break;
|
2017-03-05 04:27:46 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-09-12 03:59:42 +00:00
|
|
|
|
const range = document.caretRangeFromPoint(point.x, point.y);
|
2019-08-31 18:57:24 +00:00
|
|
|
|
if (range !== null && isPointInRange(point, range)) {
|
|
|
|
|
if (imposter !== null) {
|
2019-09-01 20:06:22 +00:00
|
|
|
|
docSetImposterStyle(imposterContainer.style, 'z-index', '-2147483646');
|
|
|
|
|
docSetImposterStyle(imposter.style, 'pointer-events', 'none');
|
2019-08-31 18:57:24 +00:00
|
|
|
|
}
|
2019-09-01 20:06:22 +00:00
|
|
|
|
return new TextSourceRange(range, '', imposterContainer);
|
2019-08-31 18:57:24 +00:00
|
|
|
|
} else {
|
2019-09-01 20:06:22 +00:00
|
|
|
|
if (imposterContainer !== null) {
|
|
|
|
|
imposterContainer.parentNode.removeChild(imposterContainer);
|
2019-08-31 18:57:24 +00:00
|
|
|
|
}
|
|
|
|
|
return null;
|
2019-02-21 02:47:31 +00:00
|
|
|
|
}
|
2016-09-12 03:59:42 +00:00
|
|
|
|
}
|
|
|
|
|
|
2017-04-08 04:17:13 +00:00
|
|
|
|
function docSentenceExtract(source, extent) {
|
2016-09-12 03:59:42 +00:00
|
|
|
|
const quotesFwd = {'「': '」', '『': '』', "'": "'", '"': '"'};
|
|
|
|
|
const quotesBwd = {'」': '「', '』': '『', "'": "'", '"': '"'};
|
|
|
|
|
const terminators = '…。..??!!';
|
|
|
|
|
|
|
|
|
|
const sourceLocal = source.clone();
|
|
|
|
|
const position = sourceLocal.setStartOffset(extent);
|
|
|
|
|
sourceLocal.setEndOffset(position + extent);
|
|
|
|
|
const content = sourceLocal.text();
|
|
|
|
|
|
|
|
|
|
let quoteStack = [];
|
|
|
|
|
|
|
|
|
|
let startPos = 0;
|
|
|
|
|
for (let i = position; i >= startPos; --i) {
|
|
|
|
|
const c = content[i];
|
|
|
|
|
|
2017-05-25 16:09:15 +00:00
|
|
|
|
if (c === '\n') {
|
|
|
|
|
startPos = i + 1;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
2016-09-12 03:59:42 +00:00
|
|
|
|
if (quoteStack.length === 0 && (terminators.includes(c) || c in quotesFwd)) {
|
|
|
|
|
startPos = i + 1;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (quoteStack.length > 0 && c === quoteStack[0]) {
|
|
|
|
|
quoteStack.pop();
|
|
|
|
|
} else if (c in quotesBwd) {
|
|
|
|
|
quoteStack = [quotesBwd[c]].concat(quoteStack);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
quoteStack = [];
|
|
|
|
|
|
2017-04-08 19:25:18 +00:00
|
|
|
|
let endPos = content.length;
|
2017-03-28 05:48:50 +00:00
|
|
|
|
for (let i = position; i <= endPos; ++i) {
|
2016-09-12 03:59:42 +00:00
|
|
|
|
const c = content[i];
|
|
|
|
|
|
2017-05-25 16:09:15 +00:00
|
|
|
|
if (c === '\n') {
|
|
|
|
|
endPos = i + 1;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
2016-09-12 03:59:42 +00:00
|
|
|
|
if (quoteStack.length === 0) {
|
|
|
|
|
if (terminators.includes(c)) {
|
|
|
|
|
endPos = i + 1;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
else if (c in quotesBwd) {
|
|
|
|
|
endPos = i;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (quoteStack.length > 0 && c === quoteStack[0]) {
|
|
|
|
|
quoteStack.pop();
|
|
|
|
|
} else if (c in quotesFwd) {
|
|
|
|
|
quoteStack = [quotesFwd[c]].concat(quoteStack);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-04-08 04:17:13 +00:00
|
|
|
|
const text = content.substring(startPos, endPos);
|
2017-04-08 19:25:18 +00:00
|
|
|
|
const padding = text.length - text.replace(/^\s+/, '').length;
|
2017-03-28 05:48:50 +00:00
|
|
|
|
|
|
|
|
|
return {
|
2017-04-08 04:17:13 +00:00
|
|
|
|
text: text.trim(),
|
2017-04-07 04:07:55 +00:00
|
|
|
|
offset: position - startPos - padding
|
2017-03-28 05:48:50 +00:00
|
|
|
|
};
|
2016-09-12 03:59:42 +00:00
|
|
|
|
}
|
2019-08-10 17:33:00 +00:00
|
|
|
|
|
|
|
|
|
function isPointInRange(point, range) {
|
2019-08-30 00:35:23 +00:00
|
|
|
|
// Scan forward
|
|
|
|
|
const nodePre = range.endContainer;
|
|
|
|
|
const offsetPre = range.endOffset;
|
|
|
|
|
try {
|
|
|
|
|
const {node, offset} = TextSourceRange.seekForward(range.endContainer, range.endOffset, 1);
|
|
|
|
|
range.setEnd(node, offset);
|
|
|
|
|
|
|
|
|
|
if (isPointInAnyRect(point, range.getClientRects())) {
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
} finally {
|
|
|
|
|
range.setEnd(nodePre, offsetPre);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Scan backward
|
|
|
|
|
const {node, offset} = TextSourceRange.seekBackward(range.startContainer, range.startOffset, 1);
|
|
|
|
|
range.setStart(node, offset);
|
|
|
|
|
|
|
|
|
|
if (isPointInAnyRect(point, range.getClientRects())) {
|
|
|
|
|
// This purposefully leaves the starting offset as modified and sets teh range length to 0.
|
|
|
|
|
range.setEnd(node, offset);
|
2019-08-10 17:33:00 +00:00
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-30 00:35:23 +00:00
|
|
|
|
// No match
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function isPointInAnyRect(point, rects) {
|
|
|
|
|
for (const rect of rects) {
|
|
|
|
|
if (isPointInRect(point, rect)) {
|
2019-08-10 17:33:00 +00:00
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-30 00:35:23 +00:00
|
|
|
|
function isPointInRect(point, rect) {
|
|
|
|
|
return (
|
|
|
|
|
point.x >= rect.left && point.x < rect.right &&
|
|
|
|
|
point.y >= rect.top && point.y < rect.bottom);
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-10 17:33:00 +00:00
|
|
|
|
if (typeof document.caretRangeFromPoint !== 'function') {
|
|
|
|
|
document.caretRangeFromPoint = (x, y) => {
|
|
|
|
|
const position = document.caretPositionFromPoint(x, y);
|
|
|
|
|
if (position && position.offsetNode && position.offsetNode.nodeType === Node.TEXT_NODE) {
|
|
|
|
|
const range = document.createRange();
|
|
|
|
|
range.setStart(position.offsetNode, position.offset);
|
|
|
|
|
range.setEnd(position.offsetNode, position.offset);
|
|
|
|
|
return range;
|
|
|
|
|
}
|
|
|
|
|
return null;
|
|
|
|
|
};
|
|
|
|
|
}
|