Jak zmienić rozmiar czcionki w panelu powłoki gnome

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?

Zmień /usr/share/gnome-shell/theme/gnome-shell.cssodpowiednio. 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/

Znajdź to:

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:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

Postanowiłem także zmniejszyć rozmiar ikon.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Tak to mozliwe. Miałem ten sam problem :)

1. Musisz edytować plik /usr/share/gnome-shell/js/ui/panel.js.
2. Znajdź linię const DEFAULT_FONTi zmień rozmiar czcionki (lub nawet nazwę).
3. Następnie musisz zrestartować gnome-shell: naciśnij Alt+ F2, wpisz ri naciśnij Enter.

BTW: Możesz dostosować prawie wszystko, edytując pliki JavaScript znajdujące się w uikatalogu.

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.

sudo gedit /usr/share/vte/termcap/xterm

Edytuj ten wiersz:

:co#80:it#8:li#24:\

Źródło:

http://ubuntuforums.org/showthread.php?t=15471