Changeset 387 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt

Timestamp:

02/20/12 11:41:48 (12 years ago)

Author:

sherbold

Message:

• minor changes to the SWT GUI

Location:

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

Files:

• MainWindow.java (modified) (1 diff)
• ModelPropertiesDialog.java (modified) (1 diff)

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

@@ -78 +78 @@
         protected void createContents() {
                 shlEventbenchConsole = new Shell();
-                shlEventbenchConsole.setSize(500, 300);
+                shlEventbenchConsole.setSize(800, 600);
                 shlEventbenchConsole.setText("EventBench Console");
                 shlEventbenchConsole.setLayout(new GridLayout(1, false));

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

@@ -69 +69 @@
                 List list = new List(grpEvents, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL);
                 for( String symbol : process.getSymbolStrings() ) {
-                        list.add(symbol);
+                        if( symbol==null ) {
+                                list.add("null");
+                        } else {
+                                list.add(symbol);
+                        }
                 }