diff options
| author | Max Weninger | 2011-11-15 11:22:22 +0000 |
|---|---|---|
| committer | Uwe Stieber | 2011-11-15 11:22:22 +0000 |
| commit | 0386b6208c1de8dc8db06f91f21cc58c4bb6acb6 (patch) | |
| tree | 498e7c7dfff81476e4efcc4fd535ef92ba1d3c92 | |
| parent | 7339227458dc4cef2839172addce15c1ebcbd888 (diff) | |
| download | org.eclipse.tcf-0386b6208c1de8dc8db06f91f21cc58c4bb6acb6.tar.gz org.eclipse.tcf-0386b6208c1de8dc8db06f91f21cc58c4bb6acb6.tar.xz org.eclipse.tcf-0386b6208c1de8dc8db06f91f21cc58c4bb6acb6.zip | |
Target Explorer: Improve setWinSize performance even further
| -rw-r--r-- | target_explorer/plugins/org.eclipse.tm.te.tcf.terminals.ui/src/org/eclipse/tm/te/tcf/terminals/ui/connector/TerminalsConnector.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/target_explorer/plugins/org.eclipse.tm.te.tcf.terminals.ui/src/org/eclipse/tm/te/tcf/terminals/ui/connector/TerminalsConnector.java b/target_explorer/plugins/org.eclipse.tm.te.tcf.terminals.ui/src/org/eclipse/tm/te/tcf/terminals/ui/connector/TerminalsConnector.java index d8fd76ca8..d4a16efa4 100644 --- a/target_explorer/plugins/org.eclipse.tm.te.tcf.terminals.ui/src/org/eclipse/tm/te/tcf/terminals/ui/connector/TerminalsConnector.java +++ b/target_explorer/plugins/org.eclipse.tm.te.tcf.terminals.ui/src/org/eclipse/tm/te/tcf/terminals/ui/connector/TerminalsConnector.java @@ -99,11 +99,11 @@ public class TerminalsConnector extends AbstractStreamsConnector implements IDis */ @Override public void setTerminalSize(final int newWidth, final int newHeight) { - if (fControl.getState() == TerminalState.CONNECTED && settings.getTerminalsLauncher() instanceof TerminalsLauncher) { - final ITerminals service = ((TerminalsLauncher)settings.getTerminalsLauncher()).getSvcTerminals(); - final ITerminals.TerminalContext context = (ITerminals.TerminalContext)settings.getTerminalsLauncher().getAdapter(ITerminals.TerminalContext.class); - if (service != null && context != null) { - if (width == -1 || height == -1 || newWidth != width || newHeight != height) { + if (width == -1 || height == -1 || newWidth != width || newHeight != height) { + if (fControl.getState() == TerminalState.CONNECTED && settings.getTerminalsLauncher() instanceof TerminalsLauncher) { + final ITerminals service = ((TerminalsLauncher)settings.getTerminalsLauncher()).getSvcTerminals(); + final ITerminals.TerminalContext context = (ITerminals.TerminalContext)settings.getTerminalsLauncher().getAdapter(ITerminals.TerminalContext.class); + if (service != null && context != null) { width = newWidth; height = newHeight; |