position_begin 96 htags/common.c const char *position_begin = "<font color='gray'>"; position_begin 188 htags/common.c position_begin = "<em class='position'>"; position_begin 80 htags/common.h extern const char *position_begin; position_begin 1270 htags/htags.c position_begin = p; position_begin 276 htags/src2html.c quote_space, position_begin, lineno, curpfile, position_end); position_begin 730 htags/src2html.c fprintf(out, "%s%s[+1 %s]%s", quote_space, position_begin, src, position_end); position_begin 869 htags/src2html.c fprintf(out, "%s%s[+%d %s]%s", quote_space, position_begin, last_lineno, src, position_end);