Searched refs:use_charnames_in_special (Results 1 – 9 of 9) sorted by relevance
11 use_charnames_in_special
49 int font::use_charnames_in_special = 0; member in font
995 use_charnames_in_special = 1; in load_desc()
83 static int use_charnames_in_special; variable
292 if ((font::use_charnames_in_special) && (fn != 0)) { in file_iterator()5182 if ((font::use_charnames_in_special) && tok.special()) { in encode_char()5207 if ((font::use_charnames_in_special) && (c == '\\')) { in encode_char()
1321 If the `use_charnames_in_special' keyword is set in the `DESC'1326 `use_charnames_in_special' is currently used by `grohtml' only.3240 `use_charnames_in_special'4815 * use_charnames_in_special <1>: DESC File Format. (line 67)4816 * use_charnames_in_special: Postprocessor Access.4840 * DESC, and use_charnames_in_special: Postprocessor Access.
13047 @kindex use_charnames_in_special13048 @pindex DESC@r{, and @code{use_charnames_in_special}}13050 If the @samp{use_charnames_in_special} keyword is set in the @file{DESC}13055 @samp{use_charnames_in_special} is currently used by @code{grohtml} only.15388 @item use_charnames_in_special15389 @kindex use_charnames_in_special
1190 and `use_charnames_in_special' (to support e.g. accented characters
1426 use_charnames_in_special