How to change font size in gnome-shell panel
Fresh3 days ago
Mar 15, 202625011 viewsConfidence Score0%
0%
Problem
I tried gnome-shell in Ubuntu by using the 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?
Error Output
gnome-shell --replace
Unverified for your environment
Select your OS to check compatibility.
1 Fix
Canonical Fix
Unverified Fix
New Fix – Awaiting Verification
Fix for: How to change font size in gnome-shell panel
Low Risk
Please change the accordingly. For example, if you want to change panel font, you can add into . 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/…
Awaiting Verification
Be the first to verify this fix
Sign in to verify this fix