diff options
author | Uwe Stieber | 2014-05-19 11:16:12 +0000 |
---|---|---|
committer | Uwe Stieber | 2014-05-19 13:11:48 +0000 |
commit | babdf1f44425b7f49ddac1c5cd81e5a923cf6b08 (patch) | |
tree | dcc094398be66aa9f2041787a48e5187a5748bdb /target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local | |
parent | 4c2fc4aa9598d16e219551c37790177491267ee9 (diff) | |
download | org.eclipse.tcf-babdf1f44425b7f49ddac1c5cd81e5a923cf6b08.tar.gz org.eclipse.tcf-babdf1f44425b7f49ddac1c5cd81e5a923cf6b08.tar.xz org.eclipse.tcf-babdf1f44425b7f49ddac1c5cd81e5a923cf6b08.zip |
Target Explorer: Fix Bug 434940 - [TERMINALS] Cannot open multiple local
terminals - Part 1
Diffstat (limited to 'target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local')
-rw-r--r-- | target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local/src/org/eclipse/tcf/te/ui/terminals/local/launcher/LocalLauncherDelegate.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local/src/org/eclipse/tcf/te/ui/terminals/local/launcher/LocalLauncherDelegate.java b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local/src/org/eclipse/tcf/te/ui/terminals/local/launcher/LocalLauncherDelegate.java index d1b7774cc..64ac4bb2c 100644 --- a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local/src/org/eclipse/tcf/te/ui/terminals/local/launcher/LocalLauncherDelegate.java +++ b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.local/src/org/eclipse/tcf/te/ui/terminals/local/launcher/LocalLauncherDelegate.java @@ -73,6 +73,12 @@ public class LocalLauncherDelegate extends AbstractLauncherDelegate { if (encoding != null && !"".equals(encoding)) properties.setProperty(ITerminalsConnectorConstants.PROP_ENCODING, encoding); //$NON-NLS-1$ } + // For local terminals, force a new terminal tab each time it is launched, + // if not set otherwise from outside + if (!properties.containsKey(ITerminalsConnectorConstants.PROP_FORCE_NEW)) { + properties.setProperty(ITerminalsConnectorConstants.PROP_FORCE_NEW, true); + } + // Get the terminal service ITerminalService terminal = ServiceManager.getInstance().getService(ITerminalService.class); // If not available, we cannot fulfill this request |