Как я могу изменить размер шрифта Тире?

К сожалению, текущий ответ: Вы не можете (если Вы не выясняете и изменяете исходный код).

В этом ответе, я перечисляю пути, которые не работают, чтобы сэкономить будущим разработчикам модификаций читателя время и проблему попробовать и перестать работать.

А. Существующий отчет об ошибках

• Ошибка #756845 ( "Тире единицы ищет не могущий изменить шрифт/размер значков" ) относится к этой точной проблеме, как показано частью снимка экрана для отчета об ошибках:

  

• ошибка была подтверждена и маркировала "low importance" без комментариев разработчиков или кого-либо еще на обходном решении или когда это будет разрешено.

B. При изменении шрифтов или масштабного коэффициента в gnome-tweak-tool

• Это не работает также:

  

• Изменение масштабного коэффициента, кажется, изменяет все КРОМЕ размера шрифта тире/кожуры (это 1920x1080, снимок экрана ниже - сравнивает терминальный размер шрифта!):

  

C. При редактировании dash-widgets.json в папке Unity Theme

• можно найти файл названным dash-widgets.json в /usr/share/unity/5/ и /usr/share/unity/themes. Это содержит набор подобных CSS настроек, которые могут дать Вам надежду, такую как:

    "preview-heading-small"  : {
  "main-title-size"    : 23.0,

  , но изменение их не работает. (шрифт Тире является приблизительно размером 22)

D. Изменение Размера значков Средства запуска не Влияет на Него

• , Так как текстовое поле тире является почти точно высотой значка средства запуска Ubuntu, Вы могли бы думать, уменьшая размер значков, изменит высоту текстового поля и сделает его шрифт меньшим.

  • Изменение размера значков легко от Плагина Единицы в менеджере по Настройкам CompizConfig (ccsm), или от MyUnity frontend:

  

  • , Но уменьшающийся до минимума, 32, не изменяет размер шрифта тире!