I have an Eclipse theme installed through the color themes plugin. After solving some known issues, it does happen that sometimes the color highlighting breaks after a change in the code. For example:
Once this happens, I need to restart Eclipse. I have tested and it happens with at least some of the themes. Is this happening to anybody else? I cannot find anything on the Internet about this specific issue.
So, finally, I found the answer, or at least a workaround to it.
The problem was that the source files were not properly openn by Eclipse. Even if they are in the workspace (set up through CMake), it is not OK to drag the files into the IDE. They have to be open from the project explorer.