Я установил гнома в своих новых 14.04 (не распределение Gnome Ubuntu). Я заметил, что строки заголовка огромны, хотя, и я хотел бы измениться.
Вещи состоят в том, что это решение отсюда не доступно для меня:
Перейдите к параметрам настройки системы.
Перейдите к дисплеям.
Пойдите для "Масштабирования для строк меню и строк заголовка".
Перетащите ползунок к своему предпочтительному размеру.
Есть ли где-то в другом месте, я мог изменить это? Я смотрел в инструменте тонкой настройки гнома и также инструменте тонкой настройки человечности без успеха.
Это - мои окна экрана и, как Вы видите, нет никакой опции масштаба.
Можно узнать, где настройки изменяются при открытии терминала:
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
дополнительно:
Это не масштабирует строки заголовка и меню, но существует также инструмент тонкой настройки единицы, где можно изменить полное масштабирование шрифта.
Возможно, это - альтернатива, которую Вы могли использовать кроме Масштабирующейся Поддержки в Параметрах настройки системы
У меня нет репутации для комментария, таким образом, я просто хочу сказать спасибо 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 когда-либо, таким образом, я надеюсь, что кто-то найдет это полезным!:)