Jak zmienić domyślną czcionkę terminala i gedit?


Odpowiedzi:



0

Nie jestem pewien co do edytora, ale dla terminala wystarczy zmienić czcionkę dla domyślnego profilu z

Edit -> Profile menu

Twoje zdrowie

S.


0

W terminalu możesz kliknąć prawym przyciskiem myszy w oknie zawartości (nie na pasku tytułu) i wybrać „Profile”, a następnie „Preferencje profilu”. Otrzymasz wtedy takie samo okno dialogowe, jak pokazano w odpowiedzi 0x00F

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.