Changeset 212:ab60f3309436 for dwt/graphics/Font.d
- Timestamp:
- 05/04/08 18:12:38 (8 months ago)
- Files:
-
- dwt/graphics/Font.d (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/graphics/Font.d
r203 r212 24 24 25 25 import tango.text.convert.Format; 26 import dwt.dwthelper.utils; 26 27 //import tango.stdc.stringz; 27 28 … … 142 143 * </ul> 143 144 */ 144 public this(Device device, char[]name, int height, int style) {145 public this(Device device, String name, int height, int style) { 145 146 if (device is null) device = Device.getDevice(); 146 147 if (device is null) DWT.error(DWT.ERROR_NULL_ARGUMENT); … … 150 151 } 151 152 152 /*public*/ this(Device device, char[]name, float height, int style) {153 /*public*/ this(Device device, String name, float height, int style) { 153 154 if (device is null) device = Device.getDevice(); 154 155 if (device is null) DWT.error(DWT.ERROR_NULL_ARGUMENT); … … 254 255 * @return a string representation of the receiver 255 256 */ 256 override public char[]toString () {257 override public String toString () { 257 258 if (isDisposed()) return "Font {*DISPOSED*}"; 258 259 return Format( "Font {{{}}", handle );
