Yes, both are valid depending on the value of file_prefs.keep_edit_history_on_reload.
Keeping it as an option defaulting to false is probably best. It would be nice if Scintilla offered a circular redo-buffer to limit memory usage, I find the default behaviour strange: > Scintilla has multiple level undo and redo. It will continue to collect > undoable actions until memory runs out. -- 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#issuecomment-250701455
