> do we want to swap it back now, and break all those user configs for 10 years
I doubt breaking/fixing these particular options could produce anything more than a one-time inconvenience of having to retick/untick two checkboxes. Also, it would only affect users who have set these to different values. So I vote to fix it -- 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/2773#issuecomment-816414792
