@vfaronov: Thank you for your reflections! You can solve the first problem, if you are checking the `keep_edit_history_on_reload` box in `Preferences - Various Preferences` menu. The simple reload is working in that way too, and I think this is a base behavior in Geany (or I did not understand the problem exactly). I see the second problem soon.
-- 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/1471#issuecomment-304792118
