Fixed embedding editor

This commit is contained in:
Jesse van den Kieboom 2006-01-10 01:36:04 +00:00
parent 68fdb85215
commit 6c6ec639d1
1 changed files with 5 additions and 4 deletions

View File

@ -403,6 +403,9 @@ on_gm_preferences_dialog_check_button_embed_editor_clicked(
gm_options_get_int(options, "editor_needs_terminal"));
}
gm_options_set_int(gm_app_options(gm_app_instance()), "editor_embed",
active);
gtk_widget_set_sensitive(gm_preferences_dialog_widget(
"check_button_needs_terminal"), !active);
}
@ -423,10 +426,8 @@ on_gm_preferences_dialog_check_button_alt_editor_clicked(
FALSE);
}
if (!active) {
gm_options_set(gm_app_options(gm_app_instance()), "editor_alternative",
"0");
}
gm_options_set_int(gm_app_options(gm_app_instance()), "editor_alternative",
active);
gtk_widget_set_sensitive(gm_preferences_dialog_widget(
"entry_alt_editor"), active);