G_MODULE_EXPORT
void on_combo_compilescheme_changed(GtkWidget* widget, void* user)
{
gint selected = gtk_combo_box_get_active(GTK_COMBO_BOX(widget));
const gchar scheme[][16] = { "on_idle", "real_time" };
slog(L_INFO, "compile scheme set to %s\n", scheme[selected]);
config_set_value("compile_scheme", scheme[selected]);
previewgui_reset(gui->previewgui);
}
G_MODULE_EXPORT
void on_compile_value_changed(GtkWidget* widget, void* user)
{
gint newval = gtk_spin_button_get_value(GTK_SPIN_BUTTON(widget));
gchar buf[16];
config_set_value("compile_timer", g_ascii_dtostr(buf, 16, (double)newval));
previewgui_reset(gui->previewgui);
}
G_MODULE_EXPORT
void on_tab_notebook_switch_page(GtkNotebook *notebook, GtkWidget *nbpage,
int pagenr, void *data) {
slog (L_DEBUG, "Switched to environment at page %d\n", pagenr);
/* Kill typesetter command */
motion_kill_typesetter(gummi->motion);
/* set the active tab/editor pointers */
tabmanager_set_active_tab (pagenr);
/* update the title of the mainwindow */
gui_set_filename_display (g_active_tab, TRUE, FALSE);
/* clear the build log output window */
gui_buildlog_set_text ("");
previewgui_reset (gui->previewgui);
}
