Ich verwende bei der Arbeit einen externen Monitor mit hoher Auflösung und vergrößere die Schriftgröße in meinem Terminal für eine bessere Sichtbarkeit.
Aber der Text in der Tab-Leiste bleibt auf der Standardgröße. Das Ändern der Schriftgröße hat keine Auswirkungen auf die Schriftgröße der Registerkarte und ich konnte keine Einstellung finden, mit der ich dasselbe erreichen könnte.
Der Versuch, hineinzuzoomen, ⌘+wirkt sich außerdem nur auf den Text im Terminal aus, nicht aber auf die Registerkarten.
Wie ändere ich die Schriftgröße des Textes auf der Registerkarte?
Antwort1
Gehen Sie zu Einstellungen > Erweitert und suchen Sie nach „Tabulatorschriftart“. Sie müssen benutzerdefinierte Schriftgrößen aktivieren und können dann dort die Punktgröße festlegen. Diese Änderung wird wirksam, sobald Sie die Einstellungen verlassen; ein Neustart des Terminals ist nicht erforderlich (zumindest bei V3.4).
