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

Timestamp:

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

Author:

sherbold

Message:

• minor changes to the SWT GUI

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/ModelPropertiesDialog.java (modified) (1 diff)

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);
+                        }
                 }