HomeSort by: relevance | last modified time | path
    Searched defs:external_name (Results 1 - 3 of 3) sorted by relevancy

  /src/external/gpl2/groff/dist/src/roff/troff/
node.cpp 132 symbol external_name; member in class:font_info
230 internal_name(nm), external_name(enm), fm(f),
270 tfont_spec spec(f->external_name, f->number, f->fm, fs, height, slant);
5855 static int mount_font_no_translate(int n, symbol name, symbol external_name,
5863 void *p = font_dictionary.lookup(external_name);
5866 fm = font::load_font(external_name.contents(), &not_found, check_only);
5871 warning(WARN_FONT, "can't find font `%1'", external_name.contents());
5872 (void)font_dictionary.lookup(external_name, &a_char);
5879 error("invalid font `%1'", external_name.contents());
5896 font_table[n] = new font_info(name, n, external_name, fm)
5965 symbol external_name = get_long_name(); local
    [all...]
node.cpp 132 symbol external_name; member in class:font_info
230 internal_name(nm), external_name(enm), fm(f),
270 tfont_spec spec(f->external_name, f->number, f->fm, fs, height, slant);
5855 static int mount_font_no_translate(int n, symbol name, symbol external_name,
5863 void *p = font_dictionary.lookup(external_name);
5866 fm = font::load_font(external_name.contents(), &not_found, check_only);
5871 warning(WARN_FONT, "can't find font `%1'", external_name.contents());
5872 (void)font_dictionary.lookup(external_name, &a_char);
5879 error("invalid font `%1'", external_name.contents());
5896 font_table[n] = new font_info(name, n, external_name, fm)
5965 symbol external_name = get_long_name(); local
    [all...]
node.cpp 132 symbol external_name; member in class:font_info
230 internal_name(nm), external_name(enm), fm(f),
270 tfont_spec spec(f->external_name, f->number, f->fm, fs, height, slant);
5855 static int mount_font_no_translate(int n, symbol name, symbol external_name,
5863 void *p = font_dictionary.lookup(external_name);
5866 fm = font::load_font(external_name.contents(), &not_found, check_only);
5871 warning(WARN_FONT, "can't find font `%1'", external_name.contents());
5872 (void)font_dictionary.lookup(external_name, &a_char);
5879 error("invalid font `%1'", external_name.contents());
5896 font_table[n] = new font_info(name, n, external_name, fm)
5965 symbol external_name = get_long_name(); local
    [all...]

Completed in 73 milliseconds