1
Fork 0

Inline resetMouseMoved function directly into "mousemove" event handler

This commit is contained in:
Guillaume Gomez 2020-12-31 13:21:50 +01:00
parent 22fc4544ad
commit 8b6304ed62

View file

@ -493,11 +493,7 @@ function defocusSearchBar() {
document.addEventListener("keypress", handleShortcut);
document.addEventListener("keydown", handleShortcut);
function resetMouseMoved(ev) {
mouseMovedAfterSearch = true;
}
document.addEventListener("mousemove", resetMouseMoved);
document.addEventListener("mousemove", function() { mouseMovedAfterSearch = true; });
var handleSourceHighlight = (function() {
var prev_line_id = 0;