2015-02-17 10:32:24 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<?eclipse version="3.4"?>
|
|
|
|
<plugin>
|
|
|
|
|
2015-04-17 11:19:19 +02:00
|
|
|
<!-- Terminal connector contributions -->
|
|
|
|
<extension point="org.eclipse.tm.terminal.control.connectors">
|
|
|
|
<connector
|
|
|
|
name="%SshConnector.label"
|
|
|
|
id="org.eclipse.tm.terminal.connector.ssh.SshConnector"
|
|
|
|
class="org.eclipse.tm.terminal.connector.ssh.connector.SshConnector"/>
|
|
|
|
</extension>
|
|
|
|
|
2015-05-07 08:54:55 +02:00
|
|
|
<!-- Terminal launcher delegate contributions -->
|
2015-04-16 09:11:41 +02:00
|
|
|
<extension point="org.eclipse.tm.terminal.view.ui.launcherDelegates">
|
2015-02-17 10:32:24 +01:00
|
|
|
<delegate
|
2015-04-17 11:19:19 +02:00
|
|
|
class="org.eclipse.tm.terminal.connector.ssh.launcher.SshLauncherDelegate"
|
|
|
|
id="org.eclipse.tm.terminal.connector.ssh.launcher.ssh"
|
2015-02-17 10:32:24 +01:00
|
|
|
label="%SshLauncherDelegate.label">
|
|
|
|
<enablement>
|
|
|
|
<with variable="selection">
|
|
|
|
<count value="1"/>
|
|
|
|
<iterate operator="and" ifEmpty="false">
|
|
|
|
<test
|
|
|
|
forcePluginActivation="true"
|
2015-04-16 09:11:41 +02:00
|
|
|
property="org.eclipse.tm.terminal.view.core.hasContextPropertiesProvider"
|
2015-02-17 16:02:41 +01:00
|
|
|
value="true"/>
|
2015-02-17 10:32:24 +01:00
|
|
|
</iterate>
|
|
|
|
</with>
|
|
|
|
</enablement>
|
|
|
|
</delegate>
|
|
|
|
</extension>
|
|
|
|
</plugin>
|