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

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

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

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

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

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

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

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

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

Источник

2 ответа

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

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, потому что его ответ не только хорошо решает проблему, но и добавляет полезный фрагмент кода в область видимости. 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, поэтому я надеюсь, что кто-то найдет его полезным!:)

Источник
Другие вопросы по тегам