如何在 gnome-shell 面板中更改字体大小

Question

我使用gnome-shell --replace命令在 Ubuntu 中尝试了 gnome-shell 。它运行良好，但我认为外壳面板中的字体太大。

是否可以在 gnome-shell 面板中自定义字体大小？

Answer 1

请相应地更改/usr/share/gnome-shell/theme/gnome-shell.css。例如，如果要更改面板字体，可以添加font-family: "FontName"到.panel-button. 并且您可以进一步自定义 Dashboard 的字体等。

您可以查看我关于自定义 gnome-shell 的博客文章：http : //joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Answer 2

对的，这是可能的。我有同样的问题 ：）

1. 你必须编辑文件/usr/share/gnome-shell/js/ui/panel.js。
2. 找到一行const DEFAULT_FONT并更改字体大小（甚至名称）。
3. 此后，您必须重新启动 gnome-shell：按Alt+ F2，输入r，然后按Enter。

顺便说一句：您可以通过编辑ui目录中的 JavaScript 文件来自定义几乎所有内容。