I think most people using 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, view it on GitHub, or mute the thread.