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();
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