I think most people using [geany-themes](https://github.com/geany/geany-themes) won't even notice if it's turned on since AFAICT most themes map `string_2` to `string_1`.
If this is merged, it might be interesting to do a follow up for geany-themes to make them use a visually distinct style for this. Maybe even just adding bold to whatever is existing would be enough? -- 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/2157#issuecomment-494521327
