diff options
author | Kevin Barnes | 2004-12-15 22:13:26 +0000 |
---|---|---|
committer | Kevin Barnes | 2004-12-15 22:13:26 +0000 |
commit | 94b9f34df9339f51259f86830120d1172634f401 (patch) | |
tree | ba025f930095c91c4479ed09c281dc04433987f4 /org.eclipse.ui.console | |
parent | c4cbe61cabbe2de125af2443f643516c904c9506 (diff) | |
download | eclipse.platform.debug-94b9f34df9339f51259f86830120d1172634f401.tar.gz eclipse.platform.debug-94b9f34df9339f51259f86830120d1172634f401.tar.xz eclipse.platform.debug-94b9f34df9339f51259f86830120d1172634f401.zip |
Bug 81234 - Console Pinning causes no console to be displayed.
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java | 2 |
1 files changed, 1 insertions, 1 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 57a5e05bc..2f234813c 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 @@ -129,7 +129,7 @@ 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 // or its the default page - if (pageRec.page != getDefaultPage() && fPinned && fConsoleToPart.size() > 1) { + if (fActiveConsole != null && pageRec.page != getDefaultPage() && fPinned && fConsoleToPart.size() > 1) { IConsole console = (IConsole)fPartToConsole.get(pageRec.part); if (!fStack.contains(console)) { fStack.add(console); |