Searched refs:gui_shell_closed (Results 1 – 6 of 6) sorted by relevance
7 void gui_shell_closed(void);
366 gui_shell_closed(); in gui_ph_handle_window_cb()
2961 gui_shell_closed(); in gui_x11_wm_protocol_handler()
2808 gui_shell_closed(); in _OnClose()4647 gui_shell_closed(); // Will exit when no changed buffers. in _WndProc()
862 gui_shell_closed(void) in gui_shell_closed() function
2772 gui_shell_closed(); in delete_event_cb()