diff options
Diffstat (limited to 'plugins/terminal/resources/META-INF/terminal.xml')
| -rw-r--r-- | plugins/terminal/resources/META-INF/terminal.xml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/plugins/terminal/resources/META-INF/terminal.xml b/plugins/terminal/resources/META-INF/terminal.xml index 11a18e18d81f..e85297f2b715 100644 --- a/plugins/terminal/resources/META-INF/terminal.xml +++ b/plugins/terminal/resources/META-INF/terminal.xml @@ -1,12 +1,4 @@ <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"/> |