是什么决定了gnome中标题栏的字体大小

时间：2016-02-18 09:10:25

标签： fonts gnome titlebar

自拥有HiDPI笔记本以来，这个让我很恼火：我的几乎所有应用似乎都忽略了标题字体设置：

% gsettings get org.gnome.desktop.wm.preferences titlebar-font 
'Cantarell Bold 12'

相反，它们显示大约18pt左右的东西。有趣的是，有些应用程序行为正常，而且行为不一致（它们具有相同的大小）。所有都是Gtk应用程序，包括shell本身。

以下是截图：

enter image description here

你看到shell作为我的终端（前台窗口）和firefox（第二个）的标题栏（或其任何名称）具有相同的字体大小。第三个窗口是一个gnome-settings对话框，其行为符合预期。

虽然firefox是第三方应用程序，并且可能会以某种不同的方式制作，但它仍然使用Gtk，shell可能有一个故意不同的外观并且只是偶然匹配大小（虽然我对此表示怀疑）。但为什么终端窗口有不同的标题字体大小？

1 个答案:

答案 0 :(得分：0)

执行以下命令会将缩放因子重置为1：

  • var array = []; array[2] = true; array[5] = undefined; var keys = Object.keys(array); // => ["2", "5"] var first = Number(keys[0]); // => 2 var last = Number(keys[keys.length - 1]); // => 5
  • gsettings set org.gnome.desktop.interface text-scaling-factor 1.0

使用interfacse缩放因子3： Scaling factor 3

设置为1后： Scaling factor 1

相关问题
最新问题