diff options
author | Jared Burns | 2001-08-08 17:41:47 +0000 |
---|---|---|
committer | Jared Burns | 2001-08-08 17:41:47 +0000 |
commit | 779727e4a58c1398dacc785dc4ebcd62daa82d98 (patch) | |
tree | f8a857cc1ece79cec1cd66930b27e292d9ee865c | |
parent | ebbef68e923632d0d746f2522fb2f4c29567ba25 (diff) | |
download | eclipse.platform.debug-779727e4a58c1398dacc785dc4ebcd62daa82d98.tar.gz eclipse.platform.debug-779727e4a58c1398dacc785dc4ebcd62daa82d98.tar.xz eclipse.platform.debug-779727e4a58c1398dacc785dc4ebcd62daa82d98.zip |
1GEUXEN
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ConsoleView.java | 27 |
1 files changed, 23 insertions, 4 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ConsoleView.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ConsoleView.java index e3ad2ebe2..1562b599c 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ConsoleView.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ConsoleView.java @@ -5,9 +5,24 @@ package org.eclipse.debug.internal.ui; * All Rights Reserved.
*/
-import java.util.*;
import org.eclipse.core.runtime.IAdaptable;
import org.eclipse.debug.core.model.IProcess;
import org.eclipse.debug.ui.IDebugUIConstants;
import org.eclipse.jface.action.*;
import org.eclipse.jface.text.*;
import org.eclipse.jface.viewers.ISelectionChangedListener;
import org.eclipse.jface.viewers.SelectionChangedEvent;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Display;
-import org.eclipse.swt.widgets.Menu;
import org.eclipse.ui.IActionBars;
import org.eclipse.ui.IWorkbenchActionConstants;
import org.eclipse.ui.help.ViewContextComputer;
import org.eclipse.ui.help.WorkbenchHelp;
import org.eclipse.ui.part.ViewPart;
import org.eclipse.ui.texteditor.*;
+import java.util.*;
+import java.util.List;
+
+import org.eclipse.core.runtime.IAdaptable;
+import org.eclipse.debug.core.model.IProcess;
+import org.eclipse.debug.ui.IDebugUIConstants;
+import org.eclipse.jface.action.*;
+import org.eclipse.jface.text.*;
+import org.eclipse.jface.viewers.ISelectionChangedListener;
+import org.eclipse.jface.viewers.SelectionChangedEvent;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.widgets.*;
+import org.eclipse.ui.IActionBars;
+import org.eclipse.ui.IWorkbenchActionConstants;
+import org.eclipse.ui.help.ViewContextComputer;
+import org.eclipse.ui.help.WorkbenchHelp;
+import org.eclipse.ui.part.ViewPart;
+import org.eclipse.ui.texteditor.*;
public class ConsoleView extends ViewPart implements IDocumentListener {
@@ -78,7 +93,11 @@ public class ConsoleView extends ViewPart implements IDocumentListener { if (display != null) {
display.asyncExec(new Runnable() {
public void run() {
- if (fConsoleViewer == null || fConsoleViewer.getControl().isDisposed()) {
+ if (fConsoleViewer == null) {
+ return;
+ }
+ Control viewerControl= fConsoleViewer.getControl();
+ if (viewerControl == null || viewerControl.isDisposed()) {
return;
}
IDocument doc= DebugUIPlugin.getDefault().getConsoleDocument((IProcess) element, determineCurrentProcess);
|