eht16 left a comment (geany/geany#4081) Fine by me. There is probably no ideal combination of the settings for all users, the current settings work reasonable well and now users can change the settings easier than before.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4081#issuecomment-2956090947 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4081/[email protected]>
