Bestimmt zu faul zum Neustarten gewesen. Bei Windows muss man doch einen Neustart, damit der die Schriftart akzeptiert.