2020-09-13 15:27:42 +08:00
|
|
|
<idea-plugin>
|
|
|
|
|
<id>net.mamoe.mirai-console-dev</id>
|
|
|
|
|
|
|
|
|
|
<name>Mirai Console Dev</name>
|
|
|
|
|
|
|
|
|
|
<vendor
|
|
|
|
|
email="support@mamoe.net"
|
|
|
|
|
url="https://github.com/mamoe/">
|
|
|
|
|
Mamoe Technologies
|
|
|
|
|
</vendor>
|
|
|
|
|
|
|
|
|
|
<depends>com.intellij.modules.platform</depends>
|
|
|
|
|
<depends>org.jetbrains.kotlin</depends>
|
|
|
|
|
|
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
|
|
|
<codeInsight.lineMarkerProvider language="JAVA"
|
2020-09-13 21:26:49 +08:00
|
|
|
implementationClass="net.mamoe.mirai.console.intellij.line.marker.PluginMainLineMarkerProvider"/>
|
|
|
|
|
<codeInsight.lineMarkerProvider language="kotlin"
|
|
|
|
|
implementationClass="net.mamoe.mirai.console.intellij.line.marker.PluginMainLineMarkerProvider"/>
|
2020-09-13 22:52:11 +08:00
|
|
|
<codeInsight.lineMarkerProvider language="JAVA"
|
|
|
|
|
implementationClass="net.mamoe.mirai.console.intellij.line.marker.CommandDeclarationLineMarkerProvider"/>
|
|
|
|
|
<codeInsight.lineMarkerProvider language="kotlin"
|
|
|
|
|
implementationClass="net.mamoe.mirai.console.intellij.line.marker.CommandDeclarationLineMarkerProvider"/>
|
2020-09-13 15:27:42 +08:00
|
|
|
</extensions>
|
|
|
|
|
|
|
|
|
|
<extensions defaultExtensionNs="org.jetbrains.kotlin">
|
|
|
|
|
<storageComponentContainerContributor
|
|
|
|
|
implementation="net.mamoe.mirai.console.intellij.IDEContainerContributor"/>
|
2020-09-19 01:06:45 +08:00
|
|
|
<quickFixContributor implementation="net.mamoe.mirai.console.intellij.QuickFixRegistrar"/>
|
2020-09-13 15:27:42 +08:00
|
|
|
</extensions>
|
|
|
|
|
|
|
|
|
|
<idea-version since-build="193.*" until-build="203.*"/>
|
|
|
|
|
|
|
|
|
|
</idea-plugin>
|
