Come modificare la dimensione del carattere nel pannello gnome-shell

Ho provato gnome-shell in Ubuntu usando il gnome-shell --replacecomando. Funziona bene ma penso che la dimensione del carattere nel pannello della shell sia troppo grande.

È possibile personalizzare la dimensione del carattere nel pannello gnome-shell?

Si prega di cambiare di /usr/share/gnome-shell/theme/gnome-shell.cssconseguenza. Ad esempio, se si desidera cambiare il font del pannello, è possibile aggiungere font-family: "FontName"in .panel-button. E puoi personalizzare ulteriormente il carattere del Dashboard, ecc.

Puoi controllare il mio post sul blog sulla personalizzazione di gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Trovato questo:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

Ho giocato con alcune delle impostazioni nel file gnome-shell.css e attraverso un po 'di tentativi ed errori, sono riuscito ad aumentare la dimensione del testo sotto le icone dell'applicazione. Nella riga 638, ho aumentato la dimensione del carattere da 7,5 a 11,5 pt, rendendolo più leggibile. Codice:

.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;
}

Ho anche deciso di ridurre la dimensione delle icone.

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

Sì, è possibile. Ho avuto lo stesso problema :)

1. Devi modificare il file /usr/share/gnome-shell/js/ui/panel.js.
2. Trova una linea const DEFAULT_FONTe modifica la dimensione del carattere (o anche il nome).
3. Dopodiché devi riavviare gnome-shell: premi Alt+ F2, digita re premi Enter.

A proposito: puoi personalizzare quasi tutto modificando i file JavaScript che si trovano nella uidirectory.

I post che raccomandano la modifica /usr/share/gnome-shell/theme/gnome-shell.csssono corretti; tuttavia, va notato che se si utilizza un tema gnome-shell alternativo (ad esempio se si esegue Linux Mint), potrebbero essere presenti ulteriori file modificabili.

Ad esempio, il tema "Mint-Z" di Mint12 contiene file .css configurabili /usr/share/themes/Mint-Z.

Inoltre, le estensioni gnome-shell possono avere i propri file .css configurabili, situati in /usr/share/gnome-shell/extensions/{extension id}/o $HOME/.local/share/gnome-shell/extensions/{extension id}/. Non sono sicuro però se queste impostazioni possono sovrascrivere le impostazioni predefinite del tema.

EDIT: @Guilherme in realtà risponde alla tua domanda.

FYI Sul mio sistema ( gnome-shell 3.2.1-0ubuntu1), il selettore css appropriato si trova in /usr/share/gnome-shell/theme/gnome-shell.css, alla linea 720, ed è impostato su 7.5pt. L'impostazione effettiva per il mio sistema Mint12, tuttavia, è in /usr/share/themes/Mint-Z/gnome-shell.css, @line 880 ed è impostata su 8pt. Modifica questo valore, quindi ricarica il tema usando il comando 'rt' al ALT+F2prompt.

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

Modifica questa riga:

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

Fonte:

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