打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

MediaWiki:Gadget-SelectionCounter.js:修订间差异

MediaWiki界面页面
删除的内容 添加的内容
Maintenance script留言 | 贡献
记录最近选区并延迟显示
Maintenance script留言 | 贡献
拖选时实时更新并增强触发
第25行: 第25行:
var lastText = '';
var lastText = '';
var lastTime = 0;
var lastTime = 0;
var isSelecting = false;


function getSelectionText() {
function getSelectionText() {
第90行: 第91行:
window.clearInterval(pollTimer);
window.clearInterval(pollTimer);
pollTimer = null;
pollTimer = null;
}

function onSelectMove() {
if (!isSelecting) {
return;
}
scheduleUpdate();
}
}


第101行: 第109行:
});
});
document.addEventListener('mousedown', function () {
document.addEventListener('mousedown', function () {
$counter.hide();
isSelecting = true;
}, true);
document.addEventListener('mouseup', function () {
isSelecting = false;
scheduleUpdateDelayed();
}, true);
}, true);
document.addEventListener('mouseup', scheduleUpdateDelayed, true);
document.addEventListener('mousemove', onSelectMove, true);
document.addEventListener('mouseup', scheduleUpdateDelayed);
document.addEventListener('touchstart', function () {
isSelecting = true;
}, { passive: true, capture: 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('keyup', scheduleUpdate);
document.addEventListener('touchend', scheduleUpdateDelayed, { passive: true, capture: true });
document.addEventListener('pointerup', scheduleUpdateDelayed, true);
window.addEventListener('focus', startPolling);
window.addEventListener('focus', startPolling);
window.addEventListener('blur', stopPolling);
window.addEventListener('blur', stopPolling);