PythonConsoleData (@NotNull VirtualFile file) { PythonConsoleData consoleData = file.getUserData(PYTHON_CONSOLE_DATA); if (consoleData == null) { consoleData = new PythonConsoleData(); file.putUserData(PYTHON_CONSOLE_DATA, consoleData); } return consoleData; }