Changeset 212:ab60f3309436 for dwt/custom/StyledTextRenderer.d
- Timestamp:
- 05/04/08 18:12:38 (7 months ago)
- Files:
-
- dwt/custom/StyledTextRenderer.d (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/custom/StyledTextRenderer.d
r155 r212 360 360 Font font = style.font; 361 361 if (font !is null) gc.setFont(font); 362 char[]string = "";362 String string = ""; 363 363 int type = bullet.type & (ST.BULLET_DOT|ST.BULLET_NUMBER|ST.BULLET_LETTER_LOWER|ST.BULLET_LETTER_UPPER); 364 364 switch (type) { 365 365 case ST.BULLET_DOT: string = "\u2022"; break; 366 case ST.BULLET_NUMBER: string = to!( char[])(index); break;366 case ST.BULLET_NUMBER: string = to!(String)(index); break; 367 367 case ST.BULLET_LETTER_LOWER: string = [cast(char) (index % 26 + 97)]; break; 368 368 case ST.BULLET_LETTER_UPPER: string = [cast(char) (index % 26 + 65)]; break; … … 385 385 int drawLine(int lineIndex, int paintX, int paintY, GC gc, Color widgetBackground, Color widgetForeground) { 386 386 TextLayout layout = getTextLayout(lineIndex); 387 char[]line = content.getLine(lineIndex);387 String line = content.getLine(lineIndex); 388 388 int lineOffset = content.getOffsetAtLine(lineIndex); 389 389 int lineLength = line.length; … … 732 732 } 733 733 if (layout is null) layout = new TextLayout(device); 734 char[]line = content.getLine(lineIndex);734 String line = content.getLine(lineIndex); 735 735 int lineOffset = content.getOffsetAtLine(lineIndex); 736 736 int[] segments = null;
