Searched refs:console_prefs_dialog (Results 1 – 3 of 3) sorted by relevance
82 int console_prefs_dialog (GtkWidget *caller);
831 console_prefs_dialog(vwin->main); in editor_prefs_callback()
1138 int console_prefs_dialog (GtkWidget *caller) in console_prefs_dialog() function