diff options
| author | Uwe Stieber | 2012-05-08 06:13:56 +0000 |
|---|---|---|
| committer | Uwe Stieber | 2012-05-08 06:13:56 +0000 |
| commit | 79868a126db1e5d0cea06a46512ec13bc93576c1 (patch) | |
| tree | 71284d35c6e38fbb74804270093f976fe5754581 /target_explorer/plugins/org.eclipse.tcf.te.ui.terminals | |
| parent | 82fbeeb4deb6aaf8bde82072d79cc240e79d6dcf (diff) | |
| download | org.eclipse.tcf-79868a126db1e5d0cea06a46512ec13bc93576c1.tar.gz org.eclipse.tcf-79868a126db1e5d0cea06a46512ec13bc93576c1.tar.xz org.eclipse.tcf-79868a126db1e5d0cea06a46512ec13bc93576c1.zip | |
Target Explorer: Fix: Terminal to use common preference settings
Diffstat (limited to 'target_explorer/plugins/org.eclipse.tcf.te.ui.terminals')
| -rw-r--r-- | target_explorer/plugins/org.eclipse.tcf.te.ui.terminals/src/org/eclipse/tcf/te/ui/terminals/tabs/TabFolderManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals/src/org/eclipse/tcf/te/ui/terminals/tabs/TabFolderManager.java b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals/src/org/eclipse/tcf/te/ui/terminals/tabs/TabFolderManager.java index 111f3c367..a125e8f0a 100644 --- a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals/src/org/eclipse/tcf/te/ui/terminals/tabs/TabFolderManager.java +++ b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals/src/org/eclipse/tcf/te/ui/terminals/tabs/TabFolderManager.java @@ -323,7 +323,7 @@ public class TabFolderManager extends PlatformObject implements ISelectionProvid tabFolder.getParent().layout(true); // Create the terminal control - ITerminalViewControl terminal = TerminalViewControlFactory.makeControl(doCreateTerminalTabTerminalListener(item), composite, new ITerminalConnector[] { connector }); + ITerminalViewControl terminal = TerminalViewControlFactory.makeControl(doCreateTerminalTabTerminalListener(item), composite, new ITerminalConnector[] { connector }, true); // Add the "selection" listener to the terminal control new TerminalControlSelectionListener(terminal); // Use the default Eclipse IDE encoding setting to configure the terminals encoding |