Searched refs:set_altfilename (Results 1 – 3 of 3) sorted by relevance
213 set_altfilename(curr_ifile, NULL); in close_file()437 set_altfilename(curr_ifile, alt_filename);
349 set_altfilename(ifile, altfilename) in set_altfilename() function
164 public void set_altfilename LESSPARAMS ((IFILE ifile, char *altfilename));