Changing KEYWORD3 color has no effect (in theme.txt)

Hi,

In C:\Program Files (x86)\Arduino\lib\theme\theme.txt, I modified the color code in the following line: editor.comment2.style. This works.

But modifying editor.keyword3.style color code has no effect. I don't understand why. Does someone have an idea?

Thanks in advance for your replies,
Moonduino