Sometimes the Editor tabs change fonts, I can't (sadly) replicate this but it happens spontaniously, and mostly when my laptop has been idle for quite some time. Like today when I got home from work and after feeding the kids, The IDE looked like this:
https://drive.google.com/file/d/0B88_ON ... sp=sharing
It isn't a big problem because everything works normal exept resizing the IDE is not posible, if I try it acts like I initiated a move window action.
Regards
Erlend