[Github-comments] [geany/geany] Added option to auto reload files changed on disk (#1246)

[elextr]

elextr commented on this pull request.



> @@ -2601,6 +2601,10 @@ gio_unsafe_save_backup            Make a backup when using GIO unsafe file     f
 keep_edit_history_on_reload       Whether to maintain the edit history when    true        immediately
                                   reloading a file, and allow the operation
                                   to be reverted.
+reload_clean_doc_on_file_change   Whether to automatically reload documents    false       immediately
+                                  which have changed on disk.

Probably should say "...documents that have no changes but which have changed on disk...".  It should be spelt out because I don't think the term "clean" is used anywhere else, I think we only use "unchanged".

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1246#pullrequestreview-1523102
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160926/03834ea6/attachment.html>