Changeset 255:f6dba57ef627 for dwt
- Timestamp:
- 07/12/08 11:45:46 (4 months ago)
- Files:
-
- dwt/custom/StyleRange.d (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/custom/StyleRange.d
r246 r255 74 74 * @since 3.4 75 75 */ 76 public this(StyleRange style) { 77 this( cast(TextStyle)style); 78 this.start = style.start; 79 this.length = style.length; 80 this.fontStyle = style.fontStyle; 81 } 76 82 public this(TextStyle style) { 77 83 super(style);
