它无法通过 GNOME Tweak Tool 进行更改,所以有人知道答案吗?
答案1
如果您想要一个快速而肮脏的解决方案,只需编辑
/usr/share/gnome-shell/theme/gnome-shell.css
当然,下次更新 gnome-shell 软件包时,这可能会被覆盖。
更干净(但更复杂一点)的方法是创建您自己的(迷你)主题:
http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/
它无法通过 GNOME Tweak Tool 进行更改,所以有人知道答案吗?
如果您想要一个快速而肮脏的解决方案,只需编辑
/usr/share/gnome-shell/theme/gnome-shell.css
当然,下次更新 gnome-shell 软件包时,这可能会被覆盖。
更干净(但更复杂一点)的方法是创建您自己的(迷你)主题:
http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/