mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
6211f1a3ca
The module provides internal actions only, and 'intellij.dev' plugin was created specifically for that. It's an invisible plugin bundled with all IDEs by default, so these actions will still be available, but now lightweight products which don't need them (JetBrains Client and Gateway) may exclude this module without hacks. Registrations of 2 actions from that module were moved from Java plugin to the module's xml file. GitOrigin-RevId: 454e9c55849cb65bc2c9d9448e1719c6775661fb
13 lines
614 B
XML
13 lines
614 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" />
|
|
</content>
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module" module-name="intellij.dev.psiViewer" scope="RUNTIME" />
|
|
<orderEntry type="module" module-name="intellij.platform.statistics.devkit" scope="RUNTIME" />
|
|
</component>
|
|
</module> |