diff options
author | Kevin Barnes | 2004-12-10 21:14:04 +0000 |
---|---|---|
committer | Kevin Barnes | 2004-12-10 21:14:04 +0000 |
commit | 35b68599eefea9461dd1a9bacf9c0d744eef5419 (patch) | |
tree | 78b9c6edde1ec6d7f4f35a310ac7d9fc7d6b3e4e /org.eclipse.ui.console | |
parent | 9fc5c8f8b4bfc8fb4cc1b5c81d494adfa0543253 (diff) | |
download | eclipse.platform.debug-35b68599eefea9461dd1a9bacf9c0d744eef5419.tar.gz eclipse.platform.debug-35b68599eefea9461dd1a9bacf9c0d744eef5419.tar.xz eclipse.platform.debug-35b68599eefea9461dd1a9bacf9c0d744eef5419.zip |
Bug 80720 - Pinned console does not remain on top
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java index 9369c42ad..1df1d7a10 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java @@ -127,6 +127,10 @@ public class ConsoleView extends PageBookView implements IConsoleView, IConsoleL protected void showPageRec(PageRec pageRec) { // don't show the page when pinned, unless this is the first console to be added if (fPinned && fConsoleToPart.size() > 1) { + IConsole console = (IConsole)fPartToConsole.get(pageRec.part); + if (!fStack.contains(console)) { + fStack.add(console); + } return; } super.showPageRec(pageRec); |