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 strbuf_putc(sb, ' '); position_begin 730 htags/src2html.c encode(sb, src); position_begin 869 htags/src2html.c */