Масштабируйте заголовки и меню в Ubuntu 14.04 с помощью Gnome

9

Я установил gnome в моем новом 14.04 (не в дистрибутиве Ubuntu-Gnome). Я заметил, что заголовки огромны, и я хотел бы изменить.

Дело в том, что это решение здесь не доступно для меня:

  1. Зайдите в настройки системы.

  2. Перейти к дисплеям.

  3. Перейдите к «Масштаб для меню и заголовков».

  4. Перетащите ползунок до нужного размера.

Есть ли где-то еще, что я мог бы изменить это? Я посмотрел в gnome-tweak-tool, а также ubuntu-tweak-tool безуспешно.

Это мои окна отображения, и, как вы можете видеть, опция масштабирования отсутствует. Это мои окна отображения, и, как вы можете видеть, опция масштабирования отсутствует.

unity gnome titlebar Педро Дуссо
источник
Зачем вам нужен другой вариант, чтобы изменить это? Вы не удовлетворены? Или ** Почему это не доступно для вас?
rubo77

Ответы:

7

Вы можете узнать, где изменяется настройка, если откроете терминал:

gsettings list-recursively>/tmp/before
echo 'Now unity-control-center should open. Please change the scaling in "Displays" and close.'
unity-control-center
gsettings list-recursively>/tmp/after
diff /tmp/before /tmp/after |grep '[>|<]'

Вы обнаруживаете, что эти настройки были изменены (изменение масштаба от 1,0 до 2,0):

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Или, изменяя с 1.0 на 1.5, text-scaling-factorвместо этого меняется , потому что scale-factorэто целое число:

< org.gnome.desktop.interface text-scaling-factor 1.0
> org.gnome.desktop.interface text-scaling-factor 1.5
< org.gnome.desktop.interface cursor-size 24
> org.gnome.desktop.interface cursor-size 36
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}

от 1,5 до 2,0:

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< org.gnome.desktop.interface text-scaling-factor 1.5
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 36
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Эти настройки можно редактировать вручную dconf-editor

Это очень интересно в контексте с about:configпеременной в Firefox : она devPixelsPerPxменяет размер внутри Firefox (см. Также: Почему все элементы формы HTML огромны с общесистемным коэффициентом масштабирования шрифта 2.0? )

Кроме того, вы можете написать скрипт для изменения коэффициента масштабирования с такими настройками, как /usr/local/bin/setscalefactor:

if [ "$1" == "1" ]; then
  # set scaling to x1.0
  gsettings set org.gnome.desktop.interface scaling-factor 1
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 8}"
else
  # set scaling to x2.0
  gsettings set org.gnome.desktop.interface scaling-factor 2
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 16}"
fi

дополнительно:

Это не масштабирует строки заголовка и меню, но есть также инструмент unity-tweak , где вы можете изменить общее масштабирование шрифта.

Может быть, это альтернатива, которую вы могли бы использовать помимо поддержки масштабирования в настройках системы

rubo77
источник
2

У меня нет репутации, чтобы комментировать, поэтому я просто хочу сказать спасибо rubo77 , потому что его ответ не только хорошо решает проблему, но и добавляет полезный фрагмент кода для расширения gsettings.

Я также хотел бы внести еще ...

На моем HP ProBook 5320m вывод его скрипта при перемещении слайдера с 0,875 на 1:

< org.gnome.desktop.interface text-scaling-factor 0.875
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 21
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 7}
> com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 8}

но я обнаружил, что достаточно изменить значение в последней строке, обозначающей com.ubuntu.user-interface scale-factor LDVS1параметр. Очевидно , что это всегда 8 раз реальный масштабный коэффициент и cursor-sizeи text-scaling-factorизменяется вместе с ним , соответственно (для масштабирования> 2 она изменяется также < org.gnome.desktop.interface scaling-factor uint32от 1 до 2 или выше, но описанная процедура все еще работает так же).

Эта

function gnsc {
    b=$(echo "scale=0; $1*8" | bc) 
    b=${b%.*} 
    gsettings set com.ubuntu.user-interface scale-factor "{'default': 8, 'VGA1': 6, 'LVDS1': $b}" 
}

это то, что я положил в себя, .bashrcчтобы безошибочно изменить масштабирование в терминале, например. набрав gnsc 0.875, хотя у меня нет проблемы пропустить слайдер из первоначального вопроса.

Это мой первый пост на StackExchange , поэтому я надеюсь, что кто-то найдет его полезным! :)

luke.12
источник