static void child_exited_cb (VteTerminal *terminal, int exit_code, TerminalReceiver *receiver) { terminal_receiver_emit_child_exited (receiver, exit_code); }
static void child_exited_cb (VteTerminal *terminal, TerminalReceiver *receiver) { int exit_code; exit_code = vte_terminal_get_child_exit_status (terminal);; terminal_receiver_emit_child_exited (receiver, exit_code); }