| <idea-plugin version="2"> |
| <actions> |
| <action id="org.jetbrains.plugins.terminal.OpenLocalTerminalAction" |
| class="org.jetbrains.plugins.terminal.OpenLocalTerminalAction" |
| text="Open Terminal..." description="Open terminal locally"> |
| <add-to-group group-id="ToolsMenu" anchor="last"/> |
| </action> |
| </actions> |
| |
| <extensions defaultExtensionNs="com.intellij"> |
| <toolWindow id="Terminal" anchor="bottom" icon="TerminalIcons.OpenTerminal_13x13" |
| factoryClass="org.jetbrains.plugins.terminal.TerminalToolWindowFactory" secondary="false"/> |
| |
| <projectConfigurable instance="org.jetbrains.plugins.terminal.TerminalOptionsConfigurable"/> |
| </extensions> |
| |
| <project-components> |
| <component> |
| <interface-class>org.jetbrains.plugins.terminal.TerminalView</interface-class> |
| <implementation-class>org.jetbrains.plugins.terminal.TerminalView</implementation-class> |
| </component> |
| </project-components> |
| |
| <application-components> |
| <component> |
| <interface-class>org.jetbrains.plugins.terminal.TerminalOptionsProvider</interface-class> |
| <implementation-class>org.jetbrains.plugins.terminal.TerminalOptionsProvider</implementation-class> |
| </component> |
| </application-components> |
| </idea-plugin> |