void () { if (myMouseOverPane != null) { dispatchMouseExitEvent(myMouseOverPane); ((EditorEx)myMouseOverPane.getEditor()).setCustomCursor(DocRenderMouseEventBridge.class, null); myMouseOverPane = null; } }