Branch: refs/heads/master Author: Arthur Rosenstein artros.misc@gmail.com Committer: Arthur Rosenstein artros.misc@gmail.com Date: Sun, 10 Nov 2013 09:11:35 UTC Commit: 9a03d32449b5d8c831d2b53a264db56ab57e8699 https://github.com/geany/geany/commit/9a03d32449b5d8c831d2b53a264db56ab57e86...
Log Message: ----------- Add keep_edit_history_on_reload option
When this option is set, the undo stack is maintained when reloading a document.
Modified Paths: -------------- src/document.h src/keyfile.c
Modified: src/document.h 1 lines changed, 1 insertions(+), 0 deletions(-) =================================================================== @@ -66,6 +66,7 @@ typedef struct GeanyFilePrefs gboolean use_gio_unsafe_file_saving; /* whether to use GIO as the unsafe backend */ gchar *extract_filetype_regex; /* regex to extract filetype on opening */ gboolean tab_close_switch_to_mru; + gboolean keep_edit_history_on_reload; /* Keep undo stack upon, and allow undoing of, document reloading. */ } GeanyFilePrefs;
Modified: src/keyfile.c 2 lines changed, 2 insertions(+), 0 deletions(-) =================================================================== @@ -220,6 +220,8 @@ static void init_pref_groups(void) "gio_unsafe_save_backup", FALSE); stash_group_add_boolean(group, &file_prefs.use_gio_unsafe_file_saving, "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 */ stash_group_add_integer(group, &editor_prefs.indentation->hard_tab_width, "indent_hard_tab_width", 8);
-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).