comparison dwt/custom/TableEditor.d @ 238:380bad9f6852

reverted char[] to String
author Frank Benoit <benoit@tionex.de>
date Mon, 05 May 2008 00:42:55 +0200
parents 17f8449522fd
children c0d810de7093
comparison
equal deleted inserted replaced
237:98b80b00af79 238:380bad9f6852
10 * Port to the D programming language: 10 * Port to the D programming language:
11 * Frank Benoit <benoit@tionex.de> 11 * Frank Benoit <benoit@tionex.de>
12 *******************************************************************************/ 12 *******************************************************************************/
13 module dwt.custom.TableEditor; 13 module dwt.custom.TableEditor;
14 14
15 import dwt.dwthelper.utils;
16
15 17
16 18
17 import dwt.DWT; 19 import dwt.DWT;
18 import dwt.events.ControlEvent; 20 import dwt.events.ControlEvent;
19 import dwt.events.ControlListener; 21 import dwt.events.ControlListener;
38 * final Table table = new Table(shell, DWT.FULL_SELECTION | DWT.HIDE_SELECTION); 40 * final Table table = new Table(shell, DWT.FULL_SELECTION | DWT.HIDE_SELECTION);
39 * TableColumn column1 = new TableColumn(table, DWT.NONE); 41 * TableColumn column1 = new TableColumn(table, DWT.NONE);
40 * TableColumn column2 = new TableColumn(table, DWT.NONE); 42 * TableColumn column2 = new TableColumn(table, DWT.NONE);
41 * for (int i = 0; i &lt; 10; i++) { 43 * for (int i = 0; i &lt; 10; i++) {
42 * TableItem item = new TableItem(table, DWT.NONE); 44 * TableItem item = new TableItem(table, DWT.NONE);
43 * item.setText(new char[][] {"item " + i, "edit this value"}); 45 * item.setText(new String[] {"item " + i, "edit this value"});
44 * } 46 * }
45 * column1.pack(); 47 * column1.pack();
46 * column2.pack(); 48 * column2.pack();
47 * 49 *
48 * final TableEditor editor = new TableEditor(table); 50 * final TableEditor editor = new TableEditor(table);