Thanks for the info guys. I enabled the auto reload option and so far seems to be what I was looking for.
But are you still interested in #1471? I could make a patch from that and submit as a PR. Can't say I could complete it by myself but with help... -- 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/2540#issuecomment-653114379
