Changeset 212:ab60f3309436 for dwt/custom/TableCursor.d
- Timestamp:
- 05/04/08 18:12:38 (7 months ago)
- Files:
-
- dwt/custom/TableCursor.d (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/custom/TableCursor.d
r155 r212 439 439 x += imageSize.width; 440 440 } 441 char[]text = row.getText(columnIndex);441 String text = row.getText(columnIndex); 442 442 if (text.length > 0) { 443 443 Rectangle bounds = row.getBounds(columnIndex); 444 444 Point extent = gc.stringExtent(text); 445 445 // Temporary code - need a better way to determine table trim 446 char[]platform = DWT.getPlatform();446 String platform = DWT.getPlatform(); 447 447 if ("win32"==platform) { //$NON-NLS-1$ 448 448 if (table.getColumnCount() is 0 || columnIndex is 0) {
