Home
last modified time | relevance | path

Searched refs:filehist_menu_refresh (Results 1 – 6 of 6) sorted by relevance

/dports/print/tex-xdvik/xdvik-22.87/texk/xdvik/
H A Dfilehist.c351 filehist_menu_refresh(); in file_history_open()
379 filehist_menu_refresh(); in file_history_open()
395 filehist_menu_refresh(); in file_history_open()
H A Devents.c6196 filehist_menu_refresh(); in do_pages()
/dports/print/tex-xdvik/xdvik-22.87/texk/xdvik/gui/
H A Dxm_menu.h41 extern void filehist_menu_refresh(void);
H A Dxaw_menu.h41 extern void filehist_menu_refresh(void);
H A Dxm_menu.c183 filehist_menu_refresh(void) in filehist_menu_refresh() function
H A Dxaw_menu.c493 filehist_menu_refresh(void) in filehist_menu_refresh() function