Changeset 238 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/SWTConsole.java

Timestamp:

10/05/11 04:32:06 (13 years ago)

Author:

sherbold

Message:

• beautification of SWT console output; trace messages are now displayed in blue, errors in red

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/SWTConsole.java (modified) (4 diffs)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/SWTConsole.java

@@ -1 +1 @@
 package de.ugoe.cs.eventbench.swt;
 
-import org.eclipse.swt.widgets.Text;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.custom.StyleRange;
+import org.eclipse.swt.custom.StyledText;
 
 import de.ugoe.cs.util.StringTools;
@@ -12 +14 @@
 public class SWTConsole implements IOutputListener, IErrorListener, ITraceListener, ICommandListener {
 
-        Text output;
+        StyledText output;
         
-        public SWTConsole(Text output) {
+        public SWTConsole(StyledText styledText) {
                 Console.getInstance().registerOutputListener(this);
                 Console.getInstance().registerErrorListener(this);
                 Console.getInstance().registerTraceListener(this);
                 Console.getInstance().registerCommandListener(this);
-                this.output = output;
+                this.output = styledText;
         }
         
@@ -29 +31 @@
         @Override
         public void errorMsg(String errMessage) {
-                output.append(errMessage);
-
+                appendColored(errMessage, SWT.COLOR_RED);
         }
 
         @Override
         public void traceMsg(String traceMessage) {
-                output.append(traceMessage);
+                appendColored(traceMessage, SWT.COLOR_BLUE);
         }
         
@@ -42 +43 @@
                 output.append("> " + command + StringTools.ENDLINE);    
         }
+        
+        private void appendColored(String str, int id) {
+                StyleRange styleRange = new StyleRange();
+                styleRange.start = output.getText().length();
+                styleRange.length = str.length();
+                styleRange.foreground = output.getDisplay().getSystemColor(id);
+                output.append(str);
+                output.setStyleRange(styleRange);
+        }
 }