void (@NotNull EditorMouseEvent event) { if (event.getArea() != EditorMouseEventArea.EDITING_AREA) return; DocRenderer.EditorPane currentPane = redispatchEvent(event, MouseEvent.MOUSE_MOVED, null); if (currentPane == null) { restoreCursor(); } else { ((EditorEx)event.getEditor()).setCustomCursor(DocRenderMouseEventBridge.class, currentPane.getCursor()); if (currentPane != myMouseOverPane) { if (myMouseOverPane != null) { dispatchMouseExitEvent(myMouseOverPane); } myMouseOverPane = currentPane; } } }