Searched refs:get_icon_and_title (Results 1 – 3 of 3) sorted by relevance
1160 extern void get_icon_and_title(const char *filename, char **icon_name, char **title_name);
1076 get_icon_and_title(const char *filename, char **icon_name, char **title_name) in get_icon_and_title() function3503 get_icon_and_title(globals.dvi_name, &icon_name, &title_name); in run_dvi_file()
1455 get_icon_and_title(globals.dvi_name, &icon_name, &title_name);