gl_search_field (GIF_TYPE_INSTANCE, term_lc + strlen ("type_instance:"),
print_graph_inst_html, /* user_data = */ &cb_data);
else
gl_search_field (GIF_TYPE_INSTANCE, term_lc + strlen ("type_instance:"),
print_graph_inst_html, /* user_data = */ &cb_data);
else