void (@NotNull EditorMouseEvent event) { // we receive MOUSE_MOVED event after MOUSE_ENTERED even if the mouse wasn't physically moved, // e.g., if a popup overlapping editor has been closed getInstance().skipNextMovement(); }