bug #1531v204_3

2 files changed, 14 insertions, 0 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 32183cebb..ba2c2581a 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
@@ -77,6 +77,7 @@ public class ConsoleView extends ViewPart implements IDocumentListener {
 		

 		fConsoleViewer.getSelectionProvider().addSelectionChangedListener(getSelectionChangedListener());

 		fConsoleViewer.addTextInputListener(getTextInputListener());

+		getSite().setSelectionProvider(fConsoleViewer.getSelectionProvider());

 		setViewerInput(DebugUIPlugin.getDefault().getCurrentProcess());

 		setTitleToolTip("Program Output");

 		WorkbenchHelp.setHelp(

diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIUtils.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIUtils.java
index 58dd44bdc..bc241a3d4 100644
--- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIUtils.java
+++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIUtils.java
@@ -9,8 +9,10 @@ import java.util.MissingResourceException;
 import java.util.ResourceBundle;

 

 import org.eclipse.core.runtime.IStatus;

+import org.eclipse.debug.core.model.IProcess;

 import org.eclipse.jface.dialogs.ErrorDialog;

 import org.eclipse.jface.dialogs.MessageDialog;

+import org.eclipse.jface.text.IDocument;

 import org.eclipse.swt.widgets.Shell;

 

 /**

@@ -70,5 +72,16 @@ public class DebugUIUtils {
 			System.out.println();

 		}

 	}

+	

+	/**

+	 * Defined here as an API-legal way to get the console document for the 

+	 * current process.

+	 */

+	public static IDocument getCurrentConsoleDocument() {

+		DebugUIPlugin plugin = DebugUIPlugin.getDefault();

+		IProcess currentProcess = plugin.getCurrentProcess();

+		IDocument document = plugin.getConsoleDocument(currentProcess, true);

+		return document;

+	}

 }