diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index c542860ed68b4..71067d2b67c1e 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -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;