cleanup in InterpreterEditorManager