Searched refs:gui_update_screen (Results 1 – 3 of 3) sorted by relevance
65 void gui_update_screen(void);
884 gui_update_screen(); // redraw, window may show changed buffer in gui_shell_closed()5206 gui_update_screen(void) in gui_update_screen() function5459 gui_update_screen(); // update the screen in gui_do_findrepl()
3535 gui_update_screen(); in find_replace_callback()