1 <idea-plugin version="2">
2 <depends optional="true" config-file="terminal-for-remote-servers.xml">com.intellij.modules.remoteServers</depends>
4 <extensions defaultExtensionNs="com.intellij">
5 <toolWindow id="Terminal" anchor="bottom" icon="TerminalIcons.OpenTerminal_13x13"
6 factoryClass="org.jetbrains.plugins.terminal.TerminalToolWindowFactory" secondary="false"/>
8 <projectConfigurable groupId="tools" groupWeight="130" displayName="Terminal" id="terminal" instance="org.jetbrains.plugins.terminal.TerminalOptionsConfigurable"/>
10 <fileEditorProvider implementation="org.jetbrains.plugins.terminal.vfs.TerminalSessionEditorProvider"/>
12 <applicationService serviceImplementation="org.jetbrains.plugins.terminal.TerminalOptionsProvider"/>
17 <interface-class>org.jetbrains.plugins.terminal.TerminalView</interface-class>
18 <implementation-class>org.jetbrains.plugins.terminal.TerminalView</implementation-class>
23 <extensionPoint qualifiedName="org.jetbrains.plugins.terminal.localTerminalCustomizer"
24 interface="org.jetbrains.plugins.terminal.LocalTerminalCustomizer"/>