Changeset 674 for trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java

Timestamp:

08/28/12 16:42:22 (12 years ago)

Author:

sherbold

Message:

• modified startup-parameter trace of runner from binary into java.util.Logger.Level to define the tracing granularity; defaults to WARNING)
• modified TextConsole? and SWTConsole to trace according to trace-parameter

File:

• trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java (modified) (4 diffs)

trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java

@@ -2 +2 @@
 
 import java.util.List;
+import java.util.logging.Level;
 
 import org.eclipse.swt.widgets.Display;
@@ -29 +30 @@
 
     private List<String> startupCommands;
+    
+    private final Level traceLevel;
 
     protected Shell shlEventbenchConsole;
@@ -45 +48 @@
     protected CommandHistoryDialog historyDialog;
 
-    public MainWindow(List<String> startupCommands) {
+    public MainWindow(List<String> startupCommands, Level traceLevel) {
         this.startupCommands = startupCommands;
+        this.traceLevel = traceLevel;
     }
 
@@ -59 +63 @@
         Display display = Display.getDefault();
         createContents();
-        new SWTConsole(consoleTabComposite.textConsoleOutput);
+        new SWTConsole(consoleTabComposite.textConsoleOutput, traceLevel);
         historyDialog = new CommandHistoryDialog(shlEventbenchConsole, SWT.NONE);
         shlEventbenchConsole.open();