void () { super.dispose(); ConsoleCommunication communication = getFile().getCopyableUserData(CONSOLE_COMMUNICATION_KEY); if (communication != null) { ApplicationManager.getApplication().getService(CommandQueueForPythonConsoleService.class).removeListener(communication); } var editor = myCommandQueuePanel.getQueueEditor(); commandQueueDimension = null; if (!editor.isDisposed()) { EditorFactory.getInstance().releaseEditor(editor); } }