term_out(inst->term);
gint focus_event(GtkWidget *widget, GdkEventFocus *event, gpointer data){    struct gui_data *inst = (struct gui_data *)data;    inst->term->has_focus = event->in;    term_out(inst->term);    term_update(inst->term);    show_mouseptr(inst, 1);    return FALSE;}