Lösungen für Schriftartänderungen nach dem Update von IDEA unter Ubuntu Linux

Heute Morgen kam ein Update von idea, ohne groß darüber nachzudenken. Ich habe die Version 2017.1 von idea heruntergeladen und auf meinem Computer installiert. Dabei bin ich auf ein sehr peinliches Problem gestoßen:

Vor dem Update

Aktualisiert

Wenn ich genau darüber nachdenke, sollte es kein Systemproblem sein, da alle die gleiche Schriftart verwenden. Deshalb habe ich nach der Datei mit den Schriftarteinstellungen gesucht und nach einer guten Antwort gesucht, konnte sie aber nicht finden.

Also habe ich selbst danach gesucht und schließlich herausgefunden, dass ich nach einem Ordner suchen kann, indem ich direkt im Ideenordner nach Schriftarten suche. Vergleiche:

Alte Version

Neue Version

Hier liegt das Problem. Es ist offensichtlich, dass die Schriftarten der neuen Version viel kleiner sind als die Schriftarten der alten Version. (Eigentlich finde ich diese Schnittstelle ziemlich interessant, da sie bedeutet, dass die Idee nicht direkt auf die Systemschriftarten verweist, sondern das Schriftartenverzeichnis kopiert und dann die Schriftart aufruft. Ich kenne den spezifischen Implementierungsprozess der Idee nicht. Aber ich denke, so funktioniert es)

Das ist jetzt ganz einfach: Kopieren Sie einfach alle alten Schriftartendateien in die neuen Schriftartendateien, starten Sie die Idee neu und schon sind die lange verlorenen Ubuntu-Schriftarten wieder verfügbar!

Das obige ist der detaillierte Inhalt vonLösungen für Schriftartänderungen nach dem Update von IDEA unter Ubuntu Linux. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!