48 |
48 |
49 static int is_toplevel_realized = 0; |
49 static int is_toplevel_realized = 0; |
50 |
50 |
51 int event_pipe[2]; |
51 int event_pipe[2]; |
52 |
52 |
53 /* |
53 ///* |
54 static String fallback[] = { |
54 static String fallback[] = { |
55 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
55 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
56 "*renderTable: rt", |
56 "*renderTable: rt", |
57 "*rt*fontType: FONT_IS_FONTSET", |
57 "*rt*fontType: FONT_IS_FONTSET", |
58 "*rt*fontName: -dt-interface system-medium-r-normal-s*utf*:," |
58 "*rt*fontName: -dt-interface system-medium-r-normal-s*utf*:," |
72 "-misc-fixed-medium-r-normal--14-130-75-75-c-140-jisx0208", |
72 "-misc-fixed-medium-r-normal--14-130-75-75-c-140-jisx0208", |
73 "*rt*fontSize: 10", |
73 "*rt*fontSize: 10", |
74 NULL |
74 NULL |
75 }; |
75 }; |
76 //*/ |
76 //*/ |
77 ///* |
77 /* |
78 static String fallback[] = { |
78 static String fallback[] = { |
79 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
79 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
80 "*text_area*renderTable: f1", |
80 "*text_area*renderTable: f1", |
81 "*f1*fontType: FONT_IS_XFT", |
81 "*f1*fontType: FONT_IS_XFT", |
82 "*f1*fontName: Monospace", |
82 "*f1*fontName: Monospace", |