void gui_deinit(void) { hash_file_stop(); gtk_widget_destroy(GTK_WIDGET(gui.window)); }
static void on_button_stop_clicked(void) { gtk_widget_set_sensitive(GTK_WIDGET(gui.button_stop), false); hash_file_stop(); }