Как изменить размер шрифта Dash?

5

Я только что установил и настроил Ubuntu 12.04 на своей машине. Я изменил все размеры шрифта , с помощью инструмента myunity , и теперь они настроены на размер шрифта Ubuntu 9 .

Однако я не могу найти нигде в Ubuntu способ изменить HUGE тире поиск / шрифт пользовательского интерфейса . Любая идея о том, где я могу ее изменить? Любой параметр настройки dconf / gconf?

Вот несколько скриншотов, сравните размер шрифтов dash с десктопами.

Тире шрифта:

Рабочий стол:

    
задан Marcos Roriz Junior 11.05.2012 в 19:25
источник

5 ответов

6

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

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

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

  • Ошибка # 756845 ( "Поиск тишины Unity не может изменить размер шрифта / значка" ) относится к этой точной проблеме, как показано в части скриншота для отчета об ошибке:

  • Ошибка была подтверждена и помечена как «низкая значимость», без комментариев разработчиков или кого-либо еще в процессе обхода или когда она будет разрешена.

В. Изменение шрифтов или коэффициент масштабирования в gnome-tweak-tool

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

  • Изменение коэффициента масштабирования, похоже, изменит все, но размер шрифта тире / hud (это снимок экрана 1920x1080 ниже - сравните размер шрифта терминала!):

С. Редактирование dash-widgets.json в папке «Тема Unity»

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

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

    , но их изменение не работает. (шрифт Dash примерно равен 22)

D. Изменение размера значка Launcher не влияет на него

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

    • Изменение размера значка легко из модуля Unity в диспетчере настроек CompizConfig (ccsm) или из его интерфейса MyUnity :

    • Но при уменьшении до минимума 32 не изменяет размер шрифта тире!

ответ дан izx 29.05.2012 в 14:55
источник
3

Об ошибке сообщается как «Поиск тире Unity, неспособный изменить размер шрифта / значка» .

Итак, теперь вы не можете изменить размер шрифта по умолчанию в dash search . вы должны пойти с ним: ((

    
ответ дан virpara 28.05.2012 в 04:58
0

Попробуйте настроить параметры в /usr/share/unity/5/dash-widgets.json .

    
ответ дан Samik 27.05.2012 в 23:02
0

Нет, перейдите в MyUnity, нажмите на вкладку «Dash» и измените размер Dash на рабочий стол. Я предполагаю, что у вас 12.04.

    
ответ дан Sidharth 11.07.2012 в 20:01
-1

Вы можете сделать это, установив инструмент Gnome-tweak и измените шрифт по умолчанию.

sudo apt-get install gnome-tweak-tool

    
ответ дан OrangeTux 11.05.2012 в 19:41