Cara mengubah ukuran font di panel gnome-shell

Saya mencoba gnome-shell di Ubuntu dengan menggunakan gnome-shell --replaceperintah. Ini berfungsi dengan baik tapi saya pikir ukuran font di panel shell terlalu besar.

Apakah mungkin untuk mengubahsuaikan ukuran font di panel gnome-shell?

Silakan ubah /usr/share/gnome-shell/theme/gnome-shell.csssesuai keinginan . Misalnya, jika Anda ingin mengubah font panel, Anda dapat menambahkan font-family: "FontName"ke dalam .panel-button. Dan Anda selanjutnya dapat menyesuaikan font Dasbor, dll.

Anda dapat checkout posting blog saya di menyesuaikan gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Menemukan ini:

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

Saya telah bermain-main dengan beberapa pengaturan dalam file gnome-shell.css dan melalui sedikit trial and error, berhasil meningkatkan ukuran teks di bawah ikon Aplikasi. Pada baris 638, saya meningkatkan ukuran font dari 7.5pt ke 11.5pt yang membuatnya lebih mudah dibaca. Kode:

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

Saya juga memutuskan untuk mengurangi ukuran ikon.

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

Ya itu mungkin. Saya punya masalah yang sama :)

1. Anda harus mengedit file /usr/share/gnome-shell/js/ui/panel.js.
2. Temukan garis const DEFAULT_FONTdan ubah ukuran font (atau bahkan nama).
3. Setelah ini, Anda harus memulai ulang gnome-shell: tekan Alt+ F2, ketik r, dan tekan Enter.

BTW: Anda dapat menyesuaikan hampir semua hal dengan mengedit file JavaScript yang terletak di uidirektori.

Posting yang merekomendasikan pengeditan /usr/share/gnome-shell/theme/gnome-shell.csssudah benar; namun, perlu dicatat bahwa jika Anda menggunakan tema gnome-shell alternatif (misalnya Anda menjalankan Linux Mint), mungkin ada file tambahan yang dapat diedit.

Misalnya, tema 'Mint-Z' Mint12 memiliki file .css yang dapat dikonfigurasi /usr/share/themes/Mint-Z.

Selain itu, ekstensi gnome-shell mungkin memiliki file .css yang dapat dikonfigurasi sendiri, berlokasi di /usr/share/gnome-shell/extensions/{extension id}/atau $HOME/.local/share/gnome-shell/extensions/{extension id}/. Namun saya tidak yakin apakah pengaturan ini dapat menimpa default tema.

EDIT: @Guilherme sebenarnya menjawab pertanyaan Anda.

FYI Pada sistem saya ( gnome-shell 3.2.1-0ubuntu1), pemilih css yang sesuai terletak di /usr/share/gnome-shell/theme/gnome-shell.css, pada baris 720, dan diatur ke 7.5pt. Namun, pengaturan aktual untuk sistem Mint12 saya adalah di /usr/share/themes/Mint-Z/gnome-shell.css, @ line 880, dan diatur ke 8pt. Ubah nilai ini, lalu muat ulang tema Anda menggunakan perintah 'rt' saat ALT+F2diminta.

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

Edit baris ini:

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

Sumber:

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