void (@NotNull EditorFactoryEvent event) { if (event.getEditor() == myEditor) { Disposer.dispose(myDisposable); myLivePreviewController.dispose(); myStartSessionSelectionMarker.dispose(); myStartSessionCaretMarker.dispose(); } }