why is code sometimes in colour and sometimes not?

Stream: new members

[Pietro Lavino]

I am coding in VScode and some proof will be very coloured, for example "exact" will always appear as purple, but if I copy the same proof rigtht below exact will appear as white instead...

[Bjørn Kjos-Hanssen]

Can you share a screenshot, perhaps?

[Kevin Buzzard]

If you do ctrl-K ctrl-T then you will be able to choose from many colourful options in VS Code and there are more you can download (I have one which makes everything different shades of pink, for example)

[Kevin Buzzard]

The colours are decided by not just the spelling of the word but the actual role which the token is playing (is it a command, a variable, a theorem, a syntax error etc etc)

[Mario Carneiro]

it could also be that the semantic highlighting is failing. Try selecting "Lean 4: Server: Restart File" from the ctrl-shift-P menu