plugin.xml

<!-- Plugin Configuration File. Read more: https://plugins.jetbrains.com/docs/intellij/plugin-configuration-file.html -->
<idea-plugin>
    <id>com.coder.gateway</id>
    <name>Coder</name>
    <vendor>Coder</vendor>

    <!-- Product and plugin compatibility requirements -->
    <!-- https://plugins.jetbrains.com/docs/intellij/plugin-compatibility.html -->
    <depends>com.intellij.modules.platform</depends>

    <!-- TODO: enable this when https://youtrack.jetbrains.com/issue/GTW-1528/Plugin-depends-on-unknown-plugin-comjetbrainsgateway is fixed-->
    <!-- <depends>com.jetbrains.gateway</depends>-->

    <!-- we trick Gateway into no longer rasing the unknown module error by marking the dependency optional-->
    <depends optional="true">com.jetbrains.gateway</depends>

    <extensions defaultExtensionNs="com.intellij">
        <applicationService serviceImplementation="com.coder.gateway.services.CoderRecentWorkspaceConnectionsService"/>
        <applicationService serviceImplementation="com.coder.gateway.services.CoderSettingsStateService"/>
        <applicationService serviceImplementation="com.coder.gateway.services.CoderSettingsService"/>
        <applicationConfigurable parentId="tools" instance="com.coder.gateway.CoderSettingsConfigurable"/>
        <webHelpProvider implementation="com.coder.gateway.help.CoderWebHelp"/>
    </extensions>
    <extensions defaultExtensionNs="com.jetbrains">
        <gatewayConnector implementation="com.coder.gateway.CoderGatewayMainView"/>
        <gatewayConnectionProvider implementation="com.coder.gateway.CoderGatewayConnectionProvider"/>
    </extensions>
</idea-plugin>