mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
5b550504fa
grid.impl depended on platform.images. Platform module can't depend on a plugin, and it's risky to make platform.images a platform module now. So decision is to separate the part of grid.impl that depended on platform.images to a dedicated module which will NOT be a platform one. Also, intellij.grid API module was converted to V2 that will simplify platformization GitOrigin-RevId: 3dea3dd0b5e05a283ee3c26b5806fa33822b3e8a
14 lines
681 B
XML
14 lines
681 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" packagePrefix="com.intellij.database" />
|
|
</content>
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module" module-name="intellij.platform.util" />
|
|
<orderEntry type="module" module-name="intellij.platform.core" />
|
|
</component>
|
|
</module> |