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>