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

diff --git a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/ProblemConsole.java b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/ProblemConsole.java
index d258d6a..d158514 100644
--- a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/ProblemConsole.java
+++ b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/ProblemConsole.java
@@ -19,7 +19,6 @@ public class ProblemConsole {
     hasMessages = false;
     myConsole = new MessageConsole("Wikipedia Editor Problems", null);
     ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { myConsole });
-    ;
     ConsolePlugin.getDefault().getConsoleManager().showConsoleView(myConsole);
     //  layout.addView(IConsoleConstants.ID_CONSOLE_VIEW, IPageLayout.BOTTOM, .5f,IPageLayout.ID_EDITOR_AREA);
     stream = myConsole.newMessageStream();
@@ -79,13 +78,13 @@ public class ProblemConsole {
     stream.setColor(color);
   }
 
-  public void reportError(String title, String message) {
-    if (hasMessages) {
-      WikiEditorPlugin.getDefault().reportError(title, message);
-    }
-  }
+//  public void reportError(String title, String message) {
+//    if (hasMessages) {
+//      WikiEditorPlugin.getDefault().reportError(title, message);
+//    }
+//  }
 
-  public void reportError() {
-    reportError("Problems listed", "Open console view for problems log!");
-  }
+//  public void reportError() {
+//    reportError("Problems listed", "Open console view for problems log!");
+//  }
 }
\ No newline at end of file