Changeset 358 for trunk/EventBenchConsole

Timestamp:

01/27/12 11:00:50 (13 years ago)

Author:

sherbold

Message:

• de.ugoe.cs.eventbench.swt.EditSequenceDialog? modified to display long targets in multiple lines. This is a workaround for a problem with tables in Windows (​https://bugs.eclipse.org/bugs/show_bug.cgi?id=259013).

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/EditSequenceDialog.java (modified) (10 diffs)

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

@@ -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 +17 @@
 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 +27 @@
         private TableColumn tblclmnEventType;
         private TableColumn tblclmnEventTarget;
-        
+
         private java.util.List<Event<?>> sequence;
         private SortedSet<String> targets;
@@ -31 +33 @@
         /**
          * Create the dialog.
+         * 
          * @param parent
          * @param style
@@ -60 +63 @@
          */
         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 +122 @@
                         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 +133 @@
                 });
                 btnInsertBefore.setText("Insert Before");
-                
+
                 Button btnInsertAfter = new Button(shell, SWT.NONE);
                 btnInsertAfter.addSelectionListener(new SelectionAdapter() {
@@ -102 +139 @@
                         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 +145 @@
                                         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 +161 @@
 
         }
-        
+
         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();