I tried gnome-shell in Ubuntu by using the gnome-shell --replace command. It works well but I think the font size in the shell panel is too big.
Is possible to custom the font size in gnome-shell panel?
feedback
|
This question came from our site for professional and enthusiast programmers.
|
Please change the /usr/share/gnome-shell/theme/gnome-shell.css accordingly. For example, if you want to change panel font, you can add font-family: "FontName" into .panel-button. And you can further customize the font of the Dashboard, etc. You can checkout my blog post on customizing gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/ | |||
|
feedback
|
|
Yes, it is possible. I had the same problem :) You have to edit file "/usr/share/gnome-shell/js/ui/panel.js". Find a line "const DEFAULT_FONT" and change font size (or even name). After this you have to restart gnome-shell: press Alt+F2, type "r" (without quotation marks), and press Enter. BTW: You can customize almost everything by editing JavaScript files located in the "ui" directory. | |||
|
feedback
|
|
Found this:
I've played around with some of the settings in the gnome-shell.css file and through a bit of trial and error, managed to increase the size of the text underneath the Application icons. On line 638, I increased font-size from 7.5pt to 11.5pt which made it more readable. Code:
I also decided to decrease the size of the icons.
| ||||
|
feedback
|
|
The posts recommending editing For example, Mint12's 'Mint-Z' theme has configurable .css files in Additionally, gnome-shell extensions may have their own configurable .css files, located in EDIT: @Guilherme actually answers your question. FYI On my system ( | ||||
|
feedback
|
Edit this line:
Source: | |||||
feedback
|