Re: View: That sounds sensible to me. And if the setting is good for "View" menu, it shouldn't need to go into "Preferences" as well.
> To be clear the comment that it is a bad idea was a general one, not > specifically aimed at this PR. Oh, I see now; my bad. -- 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/2927#issuecomment-939786966
