To me it looks fine, I didn't find a script yet where the highlighting is obviously broken but will keep an eye on it during day by day usage.
If we cannot solve all doubts, I think it would still be a good change to include because disabling the settings if they are present might be easier for users than getting aware that the settings can be added. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4081#issuecomment-2508941814 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4081/[email protected]>
