blob: 11a18e18d81f7c5bb2f0af59fc2a3d67b660b953 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
<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 groupId="tools" displayName="Terminal" instance="org.jetbrains.plugins.terminal.TerminalOptionsConfigurable"/>
<fileEditorProvider implementation="org.jetbrains.plugins.terminal.vfs.TerminalSessionEditorProvider"/>
</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>
|
