Handle the new "wpEditToken" input parameter for upload
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.wiki / src / net / sourceforge / phpeclipse / wiki / actions / ProblemConsole.java
index d258d6a..d158514 100644 (file)
@@ -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