X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/PHPConsole.java b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/PHPConsole.java
index a5f1820..0e9db24 100644
--- a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/PHPConsole.java
+++ b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/PHPConsole.java
@@ -3,7 +3,7 @@ package net.sourceforge.phpeclipse.externaltools;
 import java.io.IOException;
 import java.io.InputStream;
 
-import org.eclipse.swt.graphics.Color;
+//import org.eclipse.swt.graphics.Color;
 import org.eclipse.ui.console.ConsolePlugin;
 import org.eclipse.ui.console.IConsole;
 import org.eclipse.ui.console.MessageConsole;
@@ -14,10 +14,10 @@ public class PHPConsole {
 
 	private MessageConsoleStream stream;
 
-	private boolean hasMessages;
+	//private boolean hasMessages;
 
 	public PHPConsole() {
-		hasMessages = false;
+		//hasMessages = false;
 		myConsole = new MessageConsole("PHPeclipse Console", null);
 		ConsolePlugin.getDefault().getConsoleManager().addConsoles(
 				new IConsole[] { myConsole });
@@ -31,9 +31,9 @@ public class PHPConsole {
 	/**
 	 * @return
 	 */
-	public Color getColor() {
-		return stream.getColor();
-	}
+//	public Color getColor() {
+//		return stream.getColor();
+//	}
 
 	/**
 	 * @return
@@ -55,32 +55,32 @@ public class PHPConsole {
 	 * @param message
 	 */
 	public void print(String message) {
-		hasMessages = true;
+		//hasMessages = true;
 		stream.print(message);
 	}
 
 	/**
 	 * 
 	 */
-	public void println() {
-		hasMessages = true;
-		stream.println();
-	}
+//	public void println() {
+//		//hasMessages = true;
+//		stream.println();
+//	}
 
 	/**
 	 * @param message
 	 */
 	public void println(String message) {
-		hasMessages = true;
+		//hasMessages = true;
 		stream.println(message);
 	}
 
 	/**
 	 * @param color
 	 */
-	public void setColor(Color color) {
-		stream.setColor(color);
-	}
+//	public void setColor(Color color) {
+//		stream.setColor(color);
+//	}
 
 	// public void reportError(String title, String message) {
 	// if (hasMessages) {