[Github-comments] [geany/geany] What in the world does the "file has been reloaded" message mean?! (#1393)

elextr notifications at xxxxx
Tue Feb 14 07:54:40 UTC 2017


1) the file was reloaded because you told it to (did you accidentally press reload instead of save, I have done that on occasion)
2) as the message says, the state before the reload is saved in the edit history, unlike most other editors that just discard everything on reload, so since its an unusual capability, the first time you do reload you get this message explaining that you can undo the reload
3) since saving the previous state could be expensive in memory if you are reloading often (eg a log file) you have the option to disable this feature by selecting the "Discard History" button
4) so you don't think that decision is final it is noted that you can change the decision in the preferences at any time

Any suggestions to make the message clearer are welcome.

-- 
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/issues/1393#issuecomment-279632657
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170213/7cf8a677/attachment.html>


More information about the Github-comments mailing list