Add possibility to customize terminal environment variables
[idea/community.git] / plugins / terminal / resources / META-INF / terminal.xml
1 <idea-plugin version="2">
2   <depends optional="true" config-file="terminal-for-remote-servers.xml">com.intellij.modules.remoteServers</depends>
3
4   <extensions defaultExtensionNs="com.intellij">
5     <toolWindow id="Terminal" anchor="bottom" icon="TerminalIcons.OpenTerminal_13x13"
6                 factoryClass="org.jetbrains.plugins.terminal.TerminalToolWindowFactory" secondary="false"/>
7
8     <projectConfigurable groupId="tools" groupWeight="130" displayName="Terminal" id="terminal" instance="org.jetbrains.plugins.terminal.TerminalOptionsConfigurable"/>
9
10     <fileEditorProvider implementation="org.jetbrains.plugins.terminal.vfs.TerminalSessionEditorProvider"/>
11
12     <applicationService serviceImplementation="org.jetbrains.plugins.terminal.TerminalOptionsProvider"/>
13   </extensions>
14
15   <project-components>
16     <component>
17       <interface-class>org.jetbrains.plugins.terminal.TerminalView</interface-class>
18       <implementation-class>org.jetbrains.plugins.terminal.TerminalView</implementation-class>
19     </component>
20   </project-components>
21
22   <extensionPoints>
23     <extensionPoint qualifiedName="org.jetbrains.plugins.terminal.localTerminalCustomizer"
24                     interface="org.jetbrains.plugins.terminal.LocalTerminalCustomizer"/>
25   </extensionPoints>
26 </idea-plugin>