Ignore:
Timestamp:
02/01/12 13:47:03 (12 years ago)
Author:
sherbold
Message:
  • minor improvements of the SWT GUI
File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r287 r381  
    6767                grpEvents.setText("Events"); 
    6868                 
    69                 List list = new List(grpEvents, SWT.BORDER | SWT.V_SCROLL); 
     69                List list = new List(grpEvents, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL); 
    7070                for( String symbol : process.getSymbolStrings() ) { 
    7171                        list.add(symbol); 
Note: See TracChangeset for help on using the changeset viewer.