gnome3顶栏字体
How to change the fonts used in Gnome 3?
如何更改Gnome 3中使用的字体？
The default configuration tool of gnome does not provide an option to change the fonts. However, the gnome-tweak-tool provides it.
gnome的默认配置工具没有提供更改字体的选项。 但是， gnome-tweak-tool提供了它。
If you have not installed it, you need to install it first. On Fedora, run # yum install gnome-tweak-tool.
如果尚未安装，则需要先安装。 在Fedora上 ，运行# yum install gnome-tweak-tool 。
Then you can run gnome-tweak-tool and set the fonts as in the following figure which is clear by itself.
然后，您可以运行gnome-tweak-tool并按照下图设置字体，如下图所示。
Answered by Eric Z Ma.
埃里克·马（Eric Z Ma）回答。
翻译自: https://www.systutorials.com/how-to-change-the-fonts-used-in-gnome-3/
gnome3顶栏字体