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