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:36 UTC Commit: 6f6dfda8a8e6af4a84897db543885a9261481ba4 https://github.com/geany/geany/commit/6f6dfda8a8e6af4a84897db543885a9261481b...
Log Message: ----------- Add documentation for keep_edit_history_on_reload option
Modified Paths: -------------- doc/geany.txt
Modified: doc/geany.txt 6 lines changed, 4 insertions(+), 2 deletions(-) =================================================================== @@ -2604,6 +2604,9 @@ 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 Whether to maintain the edit history when true immediately + reloading a file, and allow the operation + to be reverted. **Filetype related** extract_filetype_regex Regex to extract filetype name from file See below. immediately via capture group one. @@ -3306,8 +3309,7 @@ Close all Ctrl-Shift-W Closes all open files.
Close Ctrl-W (C) Closes the current file.
-Reload file Ctrl-R (C) Reloads the current file. All unsaved changes - will be lost. +Reload file Ctrl-R (C) Reloads the current file.
Print Ctrl-P (C) Prints the current file.
-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).