Searched refs:exit_terminal (Results 1 – 8 of 8) sorted by relevance
53 static void exit_terminal(void);119 exit_terminal();153 exit_terminal(); in read_dictionary()160 exit_terminal(); in read_dictionary()167 exit_terminal(); in read_dictionary()301 static void exit_terminal(void) in exit_terminal() function345 exit_terminal(); in segv_handler()360 exit_terminal(); in int_handler()373 exit_terminal(); in init_memory()592 exit_terminal(); in main()
73 Procedure exit_terminal(Widget : PGTKWidget; Data : Pointer); cdecl;83 exit_terminal(Widget, gnome_mdi_get_active_view(App));110 gtk_signal_connect (GTK_OBJECT(Widget), 'child_died', GTK_SIGNAL_FUNC (@exit_terminal), Data);