Changeset 381

Timestamp:

02/01/12 13:47:03 (12 years ago)

Author:

sherbold

Message:

• minor improvements of the SWT GUI

Location:

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt

Files:

• ConsoleTabComposite.java (modified) (2 diffs)
• ModelPropertiesDialog.java (modified) (1 diff)

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

@@ -2 +2 @@
 
 import org.eclipse.swt.SWT;
+import org.eclipse.swt.widgets.Event;
+import org.eclipse.swt.widgets.Listener;
 import org.eclipse.swt.widgets.Text;
 import org.eclipse.swt.widgets.Label;
@@ -76 +78 @@
                 gd_textConsoleOutput.widthHint = 456;
                 textConsoleOutput.setLayoutData(gd_textConsoleOutput);
+                textConsoleOutput.addListener(SWT.Modify, new Listener(){
+                    public void handleEvent(Event e){
+                        textConsoleOutput.setTopIndex(textConsoleOutput.getLineCount() - 1);
+                    }
+                });
+
         }
         

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

@@ -67 +67 @@
                 grpEvents.setText("Events");
                 
-                List list = new List(grpEvents, SWT.BORDER | SWT.V_SCROLL);
+                List list = new List(grpEvents, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL);
                 for( String symbol : process.getSymbolStrings() ) {
                         list.add(symbol);