Jak zmienić rozmiar czcionki w panelu powłoki gnome
11
Próbowałem gnome-shell w Ubuntu za pomocą gnome-shell --replacepolecenia. Działa dobrze, ale myślę, że rozmiar czcionki w panelu powłoki jest zbyt duży.
Czy można dostosować rozmiar czcionki w panelu powłoki gnome?
cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css
Bawiłem się niektórymi ustawieniami w pliku gnome-shell.css i przez trochę prób i błędów udało mi się zwiększyć rozmiar tekstu pod ikonami aplikacji. W linii 638 zwiększyłem rozmiar czcionki z 7,5 do 11,5, co uczyniło ją bardziej czytelną. Kod:
Posty zalecające edycję /usr/share/gnome-shell/theme/gnome-shell.csssą poprawne; Należy jednak zauważyć, że jeśli używasz alternatywnego motywu powłoki gnome (np. używasz Linux Mint), mogą istnieć dodatkowe pliki edytowalne.
Na przykład motyw Mint12 „Mint-Z” zawiera konfigurowalne pliki .css /usr/share/themes/Mint-Z.
Ponadto rozszerzenia powłoki gnome mogą mieć własne konfigurowalne pliki .css, znajdujące się w /usr/share/gnome-shell/extensions/{extension id}/lub $HOME/.local/share/gnome-shell/extensions/{extension id}/. Nie jestem jednak pewien, czy te ustawienia mogą zastąpić domyślne ustawienia motywu.
EDYCJA: @ Guilherme faktycznie odpowiada na twoje pytanie.
FYI W moim systemie ( gnome-shell 3.2.1-0ubuntu1) odpowiedni selektor css znajduje się w /usr/share/gnome-shell/theme/gnome-shell.csslinii 720 i jest ustawiony na 7.5pt. Rzeczywiste ustawienie mojego systemu Mint12 jest jednak /usr/share/themes/Mint-Z/gnome-shell.cssustawione na @line 880 i jest ustawione na 8pt. Zmodyfikuj tę wartość, a następnie ponownie załaduj motyw za pomocą polecenia „rt” w ALT+F2wierszu polecenia.
Pytanie dotyczy graficznej „powłoki GNOME”, a nie emulatora terminali. (Również nie edytuj terminfo systemowego, zostanie on zastąpiony przez aktualizacje. Użyj infocmp xterm > xterm.tii tic xterm.ti.)
Odpowiedzi:
Zmień
/usr/share/gnome-shell/theme/gnome-shell.css
odpowiednio. Na przykład, jeśli chcesz zmienić czcionkę panelu, możesz dodaćfont-family: "FontName"
do.panel-button
. Możesz dodatkowo dostosować czcionkę pulpitu nawigacyjnego itp.Możesz sprawdzić mój post na blogu na temat dostosowywania gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/
źródło
Znajdź to:
Bawiłem się niektórymi ustawieniami w pliku gnome-shell.css i przez trochę prób i błędów udało mi się zwiększyć rozmiar tekstu pod ikonami aplikacji. W linii 638 zwiększyłem rozmiar czcionki z 7,5 do 11,5, co uczyniło ją bardziej czytelną. Kod:
Postanowiłem także zmniejszyć rozmiar ikon.
źródło
Tak to mozliwe. Miałem ten sam problem :)
/usr/share/gnome-shell/js/ui/panel.js
.const DEFAULT_FONT
i zmień rozmiar czcionki (lub nawet nazwę).BTW: Możesz dostosować prawie wszystko, edytując pliki JavaScript znajdujące się w
ui
katalogu.źródło
Posty zalecające edycję
/usr/share/gnome-shell/theme/gnome-shell.css
są poprawne; Należy jednak zauważyć, że jeśli używasz alternatywnego motywu powłoki gnome (np. używasz Linux Mint), mogą istnieć dodatkowe pliki edytowalne.Na przykład motyw Mint12 „Mint-Z” zawiera konfigurowalne pliki .css
/usr/share/themes/Mint-Z
.Ponadto rozszerzenia powłoki gnome mogą mieć własne konfigurowalne pliki .css, znajdujące się w
/usr/share/gnome-shell/extensions/{extension id}/
lub$HOME/.local/share/gnome-shell/extensions/{extension id}/
. Nie jestem jednak pewien, czy te ustawienia mogą zastąpić domyślne ustawienia motywu.EDYCJA: @ Guilherme faktycznie odpowiada na twoje pytanie.
FYI W moim systemie (
gnome-shell 3.2.1-0ubuntu1
) odpowiedni selektor css znajduje się w/usr/share/gnome-shell/theme/gnome-shell.css
linii 720 i jest ustawiony na7.5pt
. Rzeczywiste ustawienie mojego systemu Mint12 jest jednak/usr/share/themes/Mint-Z/gnome-shell.css
ustawione na @line 880 i jest ustawione na8pt
. Zmodyfikuj tę wartość, a następnie ponownie załaduj motyw za pomocą polecenia „rt” wALT+F2
wierszu polecenia.źródło
Edytuj ten wiersz:
Źródło:
źródło
infocmp xterm > xterm.ti
itic xterm.ti
.)