Durch das Ändern dieser Steuerung wird die Seite neu geladen
Ändern der Darstellung von Terminal-Fenstern
Du kannst Farbe, Schriftgröße und -stil, Zeigerform und andere Elemente des Terminal-Fensters ändern.
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Wähle ein Profil links aus der Liste „Profile“ aus.
Klicke auf „Text“.
Passe die Einstellungen wunschgemäß an.