MediaWiki:Gadget-SelectionCounter.js：修订间差异
删除的内容 添加的内容
Maintenance script（留言 | 贡献） 记录最近选区并延迟显示 |
Maintenance script（留言 | 贡献） 拖选时实时更新并增强触发 |
||
第25行：
var lastText = '';
var lastTime = 0;
var isSelecting = false;
function getSelectionText() {
第90行 ⟶ 第91行：
window.clearInterval(pollTimer);
pollTimer = null;
}
function onSelectMove() {
if (!isSelecting) {
return;
}
scheduleUpdate();
}
第101行 ⟶ 第109行：
});
document.addEventListener('mousedown', function () {
}, true);
isSelecting = false;
scheduleUpdateDelayed();
}, true);
document.addEventListener('
document.addEventListener('
isSelecting = true;
document.addEventListener('touchmove', onSelectMove, { passive: true, capture: true });
document.addEventListener('touchend', function () {
isSelecting = false;
scheduleUpdateDelayed();
}, { passive: true, capture: true });
document.addEventListener('keyup', scheduleUpdate);
▲ document.addEventListener('touchend', scheduleUpdateDelayed, { passive: true, capture: true });
▲ document.addEventListener('pointerup', scheduleUpdateDelayed, true);
window.addEventListener('focus', startPolling);
window.addEventListener('blur', stopPolling);
| |||