Trying to patch Interactions

camus546 · camus546 · commit fb93f8227612 · 2006-02-13T21:48:46.000Z
git-svn-id: file:///tmp/test-svn/trunk@3533 fe72c1cf-3628-48e9-8b72-1c46755d3cff
diff --git a/eclipse/src/edu/rice/cs/drjava/plugins/eclipse/repl/EclipseInteractionsModel.java b/eclipse/src/edu/rice/cs/drjava/plugins/eclipse/repl/EclipseInteractionsModel.java
@@ -39,6 +39,7 @@
 
 package edu.rice.cs.drjava.plugins.eclipse.repl;
 
+
 import java.io.*;
 
 import java.util.LinkedList;
@@ -48,6 +49,7 @@
 import org.eclipse.jdt.core.*;
 
 import edu.rice.cs.drjava.plugins.eclipse.EclipsePlugin;
+import edu.rice.cs.drjava.model.repl.InteractionsDJDocument;
 import edu.rice.cs.drjava.model.repl.RMIInteractionsModel;
 import edu.rice.cs.drjava.model.repl.InteractionsListener;
 import edu.rice.cs.drjava.model.repl.InteractionsDocument;
@@ -588,7 +590,7 @@ public void setOptionArgs(String optionArgString) {
   
   /** Gets the console tab document for this interactions model */
   public ConsoleDocument getConsoleDocument() {
-	  return null;
+	  return new ConsoleDocument(new InteractionsDJDocument());
   }
 
   
