Searched refs:set_dvi_name (Results 1 – 6 of 6) sorted by relevance
90 void set_dvi_name(char *new_filename);
362 set_dvi_name(new_dvi_name); in file_history_open()
255 set_dvi_name(new_dvi_name); in goto_location()
1478 set_dvi_name(new_dvi_name); in htex_back()1553 set_dvi_name(new_dvi_name); in htex_forward()1730 set_dvi_name(new_dvi_name); in htex_handleref()
1772 set_dvi_name(char *new_filename) in set_dvi_name() function
3969 set_dvi_name(expand_filename(filename, USE_CWD_PATH)); in select_cb()