mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
fd8bc18324
PY-56680 Impossible to call Settings with the installed Pycharm plugin: com.intellij.diagnostic.PluginException: Class org.jetbrains.plugins.notebooks.visualization.NotebookEditorAppearance DS-3967 Notebook editor UI broken in master GitOrigin-RevId: 5049925b688d101298eecddc6a73b2004dbedb0f
16 lines
795 B
XML
16 lines
795 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<module type="JAVA_MODULE" version="4">
|
|
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
|
<exclude-output />
|
|
<content url="file://$MODULE_DIR$">
|
|
<sourceFolder url="file://$MODULE_DIR$/resources" type="java-resource" />
|
|
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
|
|
</content>
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module" module-name="intellij.platform.ide.impl" />
|
|
<orderEntry type="module" module-name="intellij.platform.codeStyle" />
|
|
<orderEntry type="module" module-name="intellij.platform.lang" />
|
|
<orderEntry type="module" module-name="intellij.platform.core.ui" />
|
|
</component>
|
|
</module> |