72
73
vte_terminal_set_font_from_string(VTE_TERMINAL(_term), "monospace 10");
76
gtk_box_pack_start(GTK_BOX(box), _term, TRUE, TRUE, 0);
77
gtk_box_pack_end(GTK_BOX(box), _scrollbar, FALSE, FALSE, 0);
76
81
_closeOnF = GTK_WIDGET(gtk_builder_get_object(_builder,
77
82
"checkbutton_close_after_pm"));