@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, view it on GitHub, or mute the thread.