Im
der genannten Version können Sie können Bearbeiten Sie die Schriftart, aber Sie müssen langsam doppelklicken , da es sehr wackelig ist (oder drücken Sie die Eingabetaste ) und dann müssen Sie manuell den Namen der Schriftart eingeben, gefolgt von einem Leerzeichen und der Schriftgröße, zum Beispiel mein Zustand:
Source Sans Pro 10
Außerdem erfordert es einen Neustart des Programms .
