''Open Wiki link'' and ''Create Files for Wiki link'' every new created file creates...
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.wiki / src / net / sourceforge / phpeclipse / wiki / actions / ProblemConsole.java
1 package net.sourceforge.phpeclipse.wiki.actions;
2
3 import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
4
5 import org.eclipse.swt.graphics.Color;
6 import org.eclipse.ui.console.ConsolePlugin;
7 import org.eclipse.ui.console.IConsole;
8 import org.eclipse.ui.console.MessageConsole;
9 import org.eclipse.ui.console.MessageConsoleStream;
10
11 public class ProblemConsole {
12   private MessageConsole myConsole;
13
14   private MessageConsoleStream stream;
15
16   private boolean hasMessages;
17
18   public ProblemConsole() {
19     hasMessages = false;
20     myConsole = new MessageConsole("Wikipedia Editor Problems", null);
21     ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { myConsole });
22     ;
23     ConsolePlugin.getDefault().getConsoleManager().showConsoleView(myConsole);
24     //  layout.addView(IConsoleConstants.ID_CONSOLE_VIEW, IPageLayout.BOTTOM, .5f,IPageLayout.ID_EDITOR_AREA);
25     stream = myConsole.newMessageStream();
26   }
27
28   /**
29    * @return
30    */
31   public Color getColor() {
32     return stream.getColor();
33   }
34
35   /**
36    * @return
37    */
38   public MessageConsole getConsole() {
39     return stream.getConsole();
40   }
41
42   /*
43    * (non-Javadoc)
44    * 
45    * @see java.lang.Object#hashCode()
46    */
47   public int hashCode() {
48     return stream.hashCode();
49   }
50
51   /**
52    * @param message
53    */
54   public void print(String message) {
55     hasMessages = true;
56     stream.print(message);
57   }
58
59   /**
60    *  
61    */
62   public void println() {
63     hasMessages = true;
64     stream.println();
65   }
66
67   /**
68    * @param message
69    */
70   public void println(String message) {
71     hasMessages = true;
72     stream.println(message);
73   }
74
75   /**
76    * @param color
77    */
78   public void setColor(Color color) {
79     stream.setColor(color);
80   }
81
82   public void reportError(String title, String message) {
83     if (hasMessages) {
84       WikiEditorPlugin.getDefault().reportError(title, message);
85     }
86   }
87
88   public void reportError() {
89     reportError("Problems listed", "Open console view for problems log!");
90   }
91 }