Home
last modified time | relevance | path

Searched refs:prefsgui (Results 1 – 4 of 4) sorted by relevance

/dports/editors/gummi/gummi-0.8.1/src/gui/
H A Dgui-prefs.c490 gtk_widget_set_sensitive (GTK_WIDGET (gui->prefsgui->wordwrap_button), in toggle_textwrapping()
494 (gui->prefsgui->wordwrap_button), FALSE); in toggle_textwrapping()
505 (GTK_WIDGET (gui->prefsgui->wordwrap_button), FALSE); in toggle_textwrapping()
533 gtk_widget_set_sensitive (GTK_WIDGET(gui->prefsgui->compile_timer), val); in toggle_compilestatus()
570 GTK_WIDGET (gui->prefsgui->autosave_timer), TRUE); in toggle_autosaving()
571 gtk_spin_button_set_value (gui->prefsgui->autosave_timer, in toggle_autosaving()
576 GTK_WIDGET (gui->prefsgui->autosave_timer), FALSE); in toggle_autosaving()
592 if (gtk_text_buffer_get_modified (gui->prefsgui->default_buffer)) { in on_prefs_close_clicked()
594 gtk_text_buffer_get_end_iter (gui->prefsgui->default_buffer, &end); in on_prefs_close_clicked()
602 gtk_widget_hide (GTK_WIDGET (gui->prefsgui->prefwindow)); in on_prefs_close_clicked()
[all …]
H A Dgui-main.c145 g->prefsgui = prefsgui_init (g->mainwindow); in gui_init()
694 gtk_widget_set_sensitive (GTK_WIDGET (gui->prefsgui->opt_shellescape), in typesetter_setup()
698 gtk_toggle_button_set_active (gui->prefsgui->opt_synctex, TRUE); in typesetter_setup()
701 gtk_toggle_button_set_active (gui->prefsgui->opt_synctex, FALSE); in typesetter_setup()
703 gtk_widget_set_sensitive (GTK_WIDGET (gui->prefsgui->opt_synctex), TRUE); in typesetter_setup()
H A Dgui-main.h67 GuPrefsGui* prefsgui; member
H A Dgui-menu.c294 prefsgui_main (gui->prefsgui, 0); in on_menu_preferences_activate()
362 prefsgui_main(gui->prefsgui, 4); in on_menu_compileopts_activate()