如何更改 Dash 字体的大小？

Question

我刚刚在我的机器上安装并配置了 Ubuntu 12.04。我已经使用myunity工具更改了所有字体大小，现在它们都设置为Ubuntu 字体大小 9。

但是，我在 Ubuntu 的任何地方都找不到更改HUGE dash search/UI font 的方法。关于我可以在哪里更改它的任何想法？任何 dconf/gconf 设置选项？

这是一些屏幕截图，将破折号字体的大小与桌面应用程序进行比较。

破折号字体：

桌面字体：

Answer 1

不幸的是，当前的答案是：您不能（除非您弄清楚并修改源代码）。

在这个答案中，我列出了行不通的方法，以节省未来的读者修改者尝试和失败的时间和麻烦。

A. 现有错误报告

• 错误#756845（“Unity dash 搜索无法更改字体/图标大小”）正是指这个问题，如错误报告的部分屏幕截图所示：

  

• 该错误已被确认并标记为“低重要性”，开发人员或其他任何人都没有对解决方法或何时解决发表评论。

B. 改变字体或缩放系数 gnome-tweak-tool

• 这也不起作用：

  

• 更改比例因子似乎会改变除破折号/显示字体大小之外的所有内容（下面是 1920x1080 屏幕截图——比较终端字体大小！）：

  

C.dash-widgets.json在Unity Theme文件夹中编辑

• 你可以找到一个名为dash-widgets.json中/usr/share/unity/5/和/usr/share/unity/themes。这包含一堆类似 CSS 的设置，可能会给您带来希望，例如：

    “预览标题小”：{
  “主标题大小”：23.0，

  但改变它们不起作用。（Dash 字体大约为 22 号）

D. 更改启动器图标大小不会影响它

• 由于破折号文本字段几乎与 Ubuntu 启动器图标的高度相同，您可能认为减小图标大小会改变文本字段的高度并使其字体变小。

  • 从 CompizConfig 设置管理器 (ccsm) 中的 Unity 插件或其MyUnity前端可以轻松更改图标大小：

  

  • 但是减少到最小值 32 不会改变破折号的字体大小！