Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/EditSequenceDialog.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/EditSequenceDialog.java	(revision 357)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/EditSequenceDialog.java	(revision 358)
@@ -5,4 +5,5 @@
 import org.eclipse.swt.widgets.Dialog;
 import org.eclipse.swt.widgets.Display;
+import org.eclipse.swt.widgets.Listener;
 import org.eclipse.swt.widgets.MessageBox;
 import org.eclipse.swt.widgets.Shell;
@@ -16,4 +17,5 @@
 import org.eclipse.swt.events.SelectionAdapter;
 import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.graphics.Point;
 
 import de.ugoe.cs.eventbench.data.Event;
@@ -25,5 +27,5 @@
 	private TableColumn tblclmnEventType;
 	private TableColumn tblclmnEventTarget;
-	
+
 	private java.util.List<Event<?>> sequence;
 	private SortedSet<String> targets;
@@ -31,4 +33,5 @@
 	/**
 	 * Create the dialog.
+	 * 
 	 * @param parent
 	 * @param style
@@ -60,24 +63,58 @@
 	 */
 	private void createContents() {
-		shell = new Shell(getParent(), SWT.SHELL_TRIM | SWT.BORDER | SWT.APPLICATION_MODAL);
+		shell = new Shell(getParent(), SWT.SHELL_TRIM | SWT.BORDER
+				| SWT.APPLICATION_MODAL);
 		shell.setSize(450, 300);
 		shell.setText(getText());
 		shell.setLayout(new GridLayout(3, false));
-		
+
 		table = new Table(shell, SWT.BORDER | SWT.FULL_SELECTION);
 		table.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 3, 1));
 		table.setHeaderVisible(true);
 		table.setLinesVisible(true);
-		
+
 		tblclmnEventType = new TableColumn(table, SWT.NONE);
 		tblclmnEventType.setWidth(100);
 		tblclmnEventType.setText("Event Type");
-		
+
 		tblclmnEventTarget = new TableColumn(table, SWT.NONE);
 		tblclmnEventTarget.setWidth(100);
 		tblclmnEventTarget.setText("Event Target");
-		
+
+		// this listener makes the table entries multiline
+		Listener paintListener = new Listener() {
+			public void handleEvent(org.eclipse.swt.widgets.Event event) {
+				switch (event.type) {
+				case SWT.MeasureItem: {
+					TableItem item = (TableItem) event.item;
+					String text = item.getText(event.index);
+					Point size = event.gc.textExtent(text);
+					event.width = size.x;
+					event.height = Math.max(event.height, size.y);
+					break;
+				}
+				case SWT.PaintItem: {
+					TableItem item = (TableItem) event.item;
+					String text = item.getText(event.index);
+					Point size = event.gc.textExtent(text);
+					int offset = event.index == 0 ? Math.max(0,
+							(event.height - size.y) / 2) : 0;
+					event.gc.drawText(text, event.x, event.y + offset, true);
+					break;
+				}
+				case SWT.EraseItem: {
+					event.detail &= ~SWT.FOREGROUND;
+					break;
+				}
+				}
+			}
+
+		};
+		table.addListener(SWT.MeasureItem, paintListener);
+		table.addListener(SWT.PaintItem, paintListener);
+		table.addListener(SWT.EraseItem, paintListener);
+
 		updateTableContents();
-		
+
 		Button btnInsertBefore = new Button(shell, SWT.NONE);
 		btnInsertBefore.addSelectionListener(new SelectionAdapter() {
@@ -85,5 +122,5 @@
 			public void widgetSelected(SelectionEvent e) {
 				int index = table.getSelectionIndex();
-				if( index==-1 ) {
+				if (index == -1) {
 					MessageBox messageBox = new MessageBox(shell, SWT.ERROR);
 					messageBox.setMessage("No event selected!");
@@ -96,5 +133,5 @@
 		});
 		btnInsertBefore.setText("Insert Before");
-		
+
 		Button btnInsertAfter = new Button(shell, SWT.NONE);
 		btnInsertAfter.addSelectionListener(new SelectionAdapter() {
@@ -102,5 +139,5 @@
 			public void widgetSelected(SelectionEvent e) {
 				int index = table.getSelectionIndex();
-				if( index==-1 ) {
+				if (index == -1) {
 					MessageBox messageBox = new MessageBox(shell, SWT.ERROR);
 					messageBox.setMessage("No event selected!");
@@ -108,10 +145,10 @@
 					messageBox.open();
 				} else {
-					openInsertDialog(index+1);
+					openInsertDialog(index + 1);
 				}
 			}
 		});
 		btnInsertAfter.setText("Insert After");
-		
+
 		Button btnClose = new Button(shell, SWT.NONE);
 		btnClose.addSelectionListener(new SelectionAdapter() {
@@ -124,17 +161,27 @@
 
 	}
-	
+
 	private void updateTableContents() {
 		table.removeAll();
-		for( Event<?> event : sequence ) {
+		for (Event<?> event : sequence) {
 			TableItem tableItem = new TableItem(table, SWT.NONE);
-			tableItem.setText(new String[]{event.getType(),event.getTarget()});
+			String target = event.getTarget();
+			if (target != null) {
+				// the target is split into multiple lines, as one line may
+				// only  be 259 characters in tables with Windows
+				target = target.replace("].", "].\n");
+			}
+			tableItem.setText(new String[] { event.getType(), target });
+		}
+		for (int i = 0; i < table.getColumnCount(); i++) {
+			table.getColumn(i).pack();
 		}
 	}
-	
+
 	private void openInsertDialog(int position) {
-		InsertAssertionDialog insertDialog = new InsertAssertionDialog(shell, SWT.NONE, targets);
+		InsertAssertionDialog insertDialog = new InsertAssertionDialog(shell,
+				SWT.NONE, targets);
 		Event<?> event = insertDialog.open();
-		if( event!=null ) {
+		if (event != null) {
 			sequence.add(position, event);
 			updateTableContents();