Branch: refs/heads/master Author: Thomas Martitz kugel@rockbox.org Committer: Thomas Martitz kugel@rockbox.org Date: Fri, 30 Oct 2015 14:30:14 UTC Commit: 9b458b9fd5332570e9d94a21059180dbaa2d8fd4 https://github.com/geany/geany/commit/9b458b9fd5332570e9d94a21059180dbaa2d8f...
Log Message: ----------- document: Revert 6f5d5db and d6d4728
Now that there is a proper user indication for the "maintain history on reload" feature we can toggle it on by default. The setting is also renamed so that the default is effective for everyone (this was the plan).
Modified Paths: -------------- doc/geany.txt src/keyfile.c
Modified: doc/geany.txt 2 lines changed, 1 insertions(+), 1 deletions(-) =================================================================== @@ -2652,7 +2652,7 @@ use_gio_unsafe_file_saving Whether to use GIO as the unsafe file t correctly on some complex setups. gio_unsafe_save_backup Make a backup when using GIO unsafe file false immediately saving. Backup is named `filename~`. -keep_edit_history_on_reload_125 Whether to maintain the edit history when false immediately +keep_edit_history_on_reload Whether to maintain the edit history when true immediately reloading a file, and allow the operation to be reverted. **Filetype related**
Modified: src/keyfile.c 2 lines changed, 1 insertions(+), 1 deletions(-) =================================================================== @@ -234,7 +234,7 @@ static void init_pref_groups(void) 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_125", FALSE); + "keep_edit_history_on_reload", TRUE); stash_group_add_boolean(group, &file_prefs.show_keep_edit_history_on_reload_msg, "show_keep_edit_history_on_reload_msg", TRUE); /* for backwards-compatibility */
-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).