void (@NotNull FileEditorPositionListener listener) { myListeners.remove(listener); if (myEditor != null && myListeners.isEmpty()) { Disposer.dispose(myEditorCaretListenerDisposable); myEditorCaretListenerDisposable = null; } }