Ignore:
Timestamp:
02/01/12 13:47:03 (13 years ago)
Author:
sherbold
Message:
  • minor improvements of the SWT GUI
Location:
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/ConsoleTabComposite.java

    r357 r381  
    22 
    33import org.eclipse.swt.SWT; 
     4import org.eclipse.swt.widgets.Event; 
     5import org.eclipse.swt.widgets.Listener; 
    46import org.eclipse.swt.widgets.Text; 
    57import org.eclipse.swt.widgets.Label; 
     
    7678                gd_textConsoleOutput.widthHint = 456; 
    7779                textConsoleOutput.setLayoutData(gd_textConsoleOutput); 
     80                textConsoleOutput.addListener(SWT.Modify, new Listener(){ 
     81                    public void handleEvent(Event e){ 
     82                        textConsoleOutput.setTopIndex(textConsoleOutput.getLineCount() - 1); 
     83                    } 
     84                }); 
     85 
    7886        } 
    7987         
  • 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.