diff options
author | Darin Swanson | 2007-01-30 23:53:18 +0000 |
---|---|---|
committer | Darin Swanson | 2007-01-30 23:53:18 +0000 |
commit | 41b4f41c7ed233cfa3511dbf4909a4c1909d8b91 (patch) | |
tree | 4315ab9c4068e0941dc6173c20ee3fdc86b11d8f /org.eclipse.ui.console | |
parent | 7731082aeb2638a84d253f1669b7e7b5fd9e7d4f (diff) | |
download | eclipse.platform.debug-41b4f41c7ed233cfa3511dbf4909a4c1909d8b91.tar.gz eclipse.platform.debug-41b4f41c7ed233cfa3511dbf4909a4c1909d8b91.tar.xz eclipse.platform.debug-41b4f41c7ed233cfa3511dbf4909a4c1909d8b91.zip |
Bug 172248 - TextConsoleViewer should be checking for disposed text widget
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java | 4 | ||||
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java index 6a620efb7..c6562025c 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2006 IBM Corporation and others. + * Copyright (c) 2000, 2007 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -111,7 +111,7 @@ public class TextConsoleViewer extends SourceViewer implements LineStyleListener WorkbenchJob revealJob = new WorkbenchJob("Reveal End of Document") {//$NON-NLS-1$ public IStatus runInUIThread(IProgressMonitor monitor) { StyledText textWidget = getTextWidget(); - if (textWidget != null) { + if (textWidget != null && !textWidget.isDisposed()) { int lineCount = textWidget.getLineCount(); textWidget.setTopIndex(lineCount - 1); } diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java index a45326cd8..e686955f0 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2005 IBM Corporation and others. + * Copyright (c) 2000, 2007 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -96,7 +96,7 @@ public class IOConsoleViewer extends TextConsoleViewer { ConsolePlugin.getStandardDisplay().asyncExec(new Runnable() { public void run() { StyledText text = getTextWidget(); - if (text != null) { + if (text != null && !text.isDisposed()) { text.setEditable(false); } } |