- * Zero-delay timeout set when mouse events are fired, and canceled when
- * touch events are detected, in order to prevent touch events registering
- * as mouse events (some browsers will do this).
- */
- var deferred_mouse_event = null;
-
- /**
- * Flag which, when set to true, will cause all mouse events to be
- * ignored. Used to temporarily ignore events when generated by
- * touch events, and not by a mouse.
+ * Counter of mouse events to ignore. This decremented by mousemove, and
+ * while non-zero, mouse events will have no effect.