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


11

我通过使用gnome-shell --replace命令在Ubuntu中尝试了gnome-shell 。效果很好,但是我认为外壳面板中的字体太大。

可以在gnome-shell面板中自定义字体大小吗?


您将会在superuser.com上拥有更好的运气
Mark Elliot 2010年

Answers:



3

发现了这一点:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

我已经尝试了gnome-shell.css文件中的某些设置,并且经过反复试验,设法增加了“应用程序”图标下方的文本大小。在第638行,我将字体大小从7.5pt增加到11.5pt,使其更具可读性。码:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

我还决定减小图标的大小。

.icon-grid .overview-icon {
    icon-size: 96px;
}

2

对的,这是可能的。我有同样的问题 :)

  1. 您必须编辑文件/usr/share/gnome-shell/js/ui/panel.js
  2. 找到一行const DEFAULT_FONT并更改字体大小(甚至名称)。
  3. 之后,您必须重新启动gnome-shell:按Alt+ F2,键入r,然后按Enter

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


1

推荐编辑的帖子/usr/share/gnome-shell/theme/gnome-shell.css是正确的;但是,应该注意的是,如果您使用备用的gnome-shell主题(例如,您正在运行Linux Mint),则可能会有其他可编辑文件。

例如,Mint12的“ Mint-Z”主题在中具有可配置的.css文件/usr/share/themes/Mint-Z

此外,gnome-shell扩展名可能具有位于/usr/share/gnome-shell/extensions/{extension id}/或中的自己的可配置.css文件$HOME/.local/share/gnome-shell/extensions/{extension id}/。我不确定这些设置是否可以覆盖主题默认设置。

编辑:@Guilherme实际上回答了您的问题。

仅供参考在我的系统(gnome-shell 3.2.1-0ubuntu1)上,相应的CSS选择器位于/usr/share/gnome-shell/theme/gnome-shell.css第720行的,并设置为7.5pt。但是,我的Mint12系统的实际设置位于/usr/share/themes/Mint-Z/gnome-shell.css@line 880中,并设置为8pt。修改此值,然后在ALT+F2提示符下使用“ rt”命令重新加载主题。


-3
sudo gedit /usr/share/vte/termcap/xterm

编辑此行:

:co#80:it#8:li#24:\

资源:

http://ubuntuforums.org/showthread.php?t=15471


4
问题是关于图形化的“ GNOME Shell”,而不是终端仿真器。(另外,做不会编辑系统范围的terminfo,它会被覆盖的更新使用。infocmp xterm > xterm.titic xterm.ti。)
user1686
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.