diff options
author | Darin Wright | 2004-12-10 21:57:47 +0000 |
---|---|---|
committer | Darin Wright | 2004-12-10 21:57:47 +0000 |
commit | 15784413f07f3e6e309d481f33dfb8d563147b75 (patch) | |
tree | e8b2088794d2fbd869cc32142ae0eb3a34c1b74a /org.eclipse.ui.console | |
parent | 890565ca5c7658ffc5bf28f9a15067a261ec7ff9 (diff) | |
download | eclipse.platform.debug-15784413f07f3e6e309d481f33dfb8d563147b75.tar.gz eclipse.platform.debug-15784413f07f3e6e309d481f33dfb8d563147b75.tar.xz eclipse.platform.debug-15784413f07f3e6e309d481f33dfb8d563147b75.zip |
Bug 80729 - NPE in console
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleView.java | 6 |
1 files changed, 4 insertions, 2 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 bc70e6579..381413e7f 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 @@ -110,7 +110,10 @@ public class ConsoleView extends PageBookView implements IConsoleView, IConsoleL * @see org.eclipse.ui.IPartListener#partClosed(org.eclipse.ui.IWorkbenchPart) */ public void partClosed(IWorkbenchPart part) { + boolean pin = fPinned; + fPinned = false; super.partClosed(part); + fPinned = pin; fPinAction.update(); } @@ -126,8 +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 (fPinned && fConsoleToPart.size() > 1) { IConsole console = (IConsole)fPartToConsole.get(pageRec.part); if (!fStack.contains(console)) { fStack.add(console); |