Stimmt schon, meistens ist es mit einem Reboot getan. Das Problem taucht auf, wenn man den europäischen Zeichensatz installiert hat, stimmt auch.

Die einfachsten Lösungen sind die Besten.
Also falls es wieder auftauchen sollte (und das wird es in 80% der Fälle), sollte ein Reboot ausreichen.