Searched defs:tried_dvi_ext (Results 1 – 5 of 5) sorted by relevance
232 Boolean tried_dvi_ext = True; in goto_location() local
333 Boolean tried_dvi_ext = True; in file_history_open() local
1467 Boolean tried_dvi_ext = False; in htex_back() local1541 Boolean tried_dvi_ext = False; in htex_forward() local1719 Boolean tried_dvi_ext = False; in htex_handleref() local
1618 find_dvi_file(const char *filename, Boolean *tried_dvi_ext, Boolean from_file_history)1684 Boolean *tried_dvi_ext,
3145 Boolean tried_dvi_ext = False; in run_dvi_file() local