Changeset 238:380bad9f6852 for dwt/custom/StyledText.d
- Timestamp:
- 05/04/08 18:42:55 (4 years ago)
- Files:
-
- dwt/custom/StyledText.d (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/custom/StyledText.d
r230 r238 852 852 } 853 853 write("\\u"); 854 write( to!( char[])( cast(short)ch ));854 write( to!(String)( cast(short)ch )); 855 855 write(' '); // control word delimiter 856 856 start = index + incr; … … 881 881 // specify code page, necessary for copy to work in bidi 882 882 // systems that don't support Unicode RTF. 883 // PORTING_TODO: char[]cpg = System.getProperty("file.encoding").toLowerCase();884 char[]cpg = "UTF16";883 // PORTING_TODO: String cpg = System.getProperty("file.encoding").toLowerCase(); 884 String cpg = "UTF16"; 885 885 /+ 886 886 if (cpg.startsWith("cp") || cpg.startsWith("ms")) {
