Add keep_edit_history_on_reload option

When this option is set, the undo stack is maintained when reloading a
document.
This commit is contained in:
Arthur Rosenstein 2013-11-06 14:16:11 +00:00
parent 1b1a1da4ed
commit 9a03d32449
2 changed files with 3 additions and 0 deletions

View File

@ -66,6 +66,7 @@ typedef struct GeanyFilePrefs
gboolean use_gio_unsafe_file_saving; /* whether to use GIO as the unsafe backend */ gboolean use_gio_unsafe_file_saving; /* whether to use GIO as the unsafe backend */
gchar *extract_filetype_regex; /* regex to extract filetype on opening */ gchar *extract_filetype_regex; /* regex to extract filetype on opening */
gboolean tab_close_switch_to_mru; gboolean tab_close_switch_to_mru;
gboolean keep_edit_history_on_reload; /* Keep undo stack upon, and allow undoing of, document reloading. */
} }
GeanyFilePrefs; GeanyFilePrefs;

View File

@ -220,6 +220,8 @@ static void init_pref_groups(void)
"gio_unsafe_save_backup", FALSE); "gio_unsafe_save_backup", FALSE);
stash_group_add_boolean(group, &file_prefs.use_gio_unsafe_file_saving, stash_group_add_boolean(group, &file_prefs.use_gio_unsafe_file_saving,
"use_gio_unsafe_file_saving", TRUE); "use_gio_unsafe_file_saving", TRUE);
stash_group_add_boolean(group, &file_prefs.keep_edit_history_on_reload,
"keep_edit_history_on_reload", TRUE);
/* for backwards-compatibility */ /* for backwards-compatibility */
stash_group_add_integer(group, &editor_prefs.indentation->hard_tab_width, stash_group_add_integer(group, &editor_prefs.indentation->hard_tab_width,
"indent_hard_tab_width", 8); "indent_hard_tab_width", 8);