![Cum se folosește aplicația Google Amplificator de sunet pe Android](/f/02fbdbe375228358628a24c00cea73ff.png?width=100&height=100)
Acest articol nu a fost actualizat de mai bine de un an. Informațiile de mai jos ar putea fi învechite.
Obțineți fontul panoului GNOME pentru a se potrivi cu stilul marginilor ferestrei dvs. cu acest sfat rapid.
Un cititor * a trimis acest „tweak minor”, dar este unul care afectează o parte a desktopului care este vizibilă în orice moment: Panoul GNOME.
Fontul panoului în sine nu poate fi configurat în mod independent prin intermediul filei de configurare a fontului din Preferințele aspectului; în mod implicit, el moștenește fontul și stilul selectat ca „Font aplicație”.
Cu unele magii de copiere și copiere, o putem tema pentru a se potrivi cu fontul de la marginea ferestrei (sau cu orice altceva, într-adevăr).
Adăugați următorul text sau creați .gtkrc-2.0 în folderul de acasă. Ajustează font_name = „x” variabilă după gusturile dvs., salvați și apoi reporniți panoul GNOME prin emiterea ‘killall gnome-panel’.
stil „modpanel”
{
font_name = „Bold 9”
}
widget „* PanelWidget *” stil „modpanel”
widget „* PanelApplet *” stil „modpanel”
widget „* fast-user-switch-applet *” stil „modpanel”
* Mulțumesc persoanei care a trimis acest lucru