The code color coding is gone. It´s just grey, without the green, blue and red. This happened before, but I could always solve it by clearing browser cache. Now, this no longer works. I have to start another browser.
Is there anything I can check more to get rid of this problem?