Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (* write byte *)
- type font_language_code = {
- | LCNone; (*0*)
- | LCLatin; (*1*)
- | LCJapanese; (*2*)
- | LCKorean; (*3*)
- | LCSimplifiedChinese; (*4*)
- | LCTraditionalChinese; (*5*)
- }
- type font_glyph_data = {
- font_char_code: int;
- font_shape: shape_records;
- }
- type font_layout_glyph_data = {
- font_advance: int;
- font_bounds: rect;
- }
- type font_kerning_data = {
- font_char_code2: int;
- font_char_code2: int;
- font_adjust: int;
- }
- type font_layout_data = {
- font_ascent: int;
- font_descent: int;
- font_leading: int;
- font_glyphs: font_layout_glyph_data list;
- font_kerning: font_kerning_data list;
- }
- type font2_data = {
- font_shift_jis: bool;
- font_is_small: bool;
- font_is_ansi: bool;
- font_is_italic: bool;
- font_is_bold: bool;
- font_language: font_language_code;
- font_name: string;
- font_glyphs: font_glyph_data list;
- font_layout: font_layout_data option;
- }
- (* for now, omitting Font1(not for fonts linked to a class), Font2(only difference with Font3 is that it can have 'wideChars false') and Font4(OTF) *)
- type font =
- | Font3 of font2_data;
Advertisement
Add Comment
Please, Sign In to add comment