захотел поставить жир. шрифт в панели. захожу в опции- Шрифты- выбран "шрифт файлов панели", стоит bold! Убрал bold, поставил, применил-
стало bold..
шрифт панели
Модератор: motyara
Re: шрифт панели
Была выбрана тема kr-salamander152 (где шрифт был не bold)
- Max Diesel
- Автор программы
- Сообщения: 3431
- Зарегистрирован: Пт окт 12, 2007 3:26 pm
- Контактная информация:
Re: шрифт панели
ну для поль-ля как раз очевидно, что шрифт надо менять на вк. "Шрифты"...для шрифтов панели по-нормальному ставятся на вкладке "Файлы"
Лучше согласовать, если меняем в одном месте, то пусть меняется в другом
- Max Diesel
- Автор программы
- Сообщения: 3431
- Зарегистрирован: Пт окт 12, 2007 3:26 pm
- Контактная информация:
Ну так шрифт и поменялся если его поменять через "Шрифты". Было бы слегка нелогично срубать глобальные настройки настройками выбираемой графической темы... соответственно как я и сказал, глобальные настройки не меняются при изменении графической темы, но при принудительной смене характеристик шрифта текущей графической темы изменятся и глобальные настройки.
Re: шрифт панели
я им. в виду- при установке в Файлы- не надо переопр-ть шрифт в граф теме?
Я бы вообще убрал это в Файлах
Я бы вообще убрал это в Файлах
- Max Diesel
- Автор программы
- Сообщения: 3431
- Зарегистрирован: Пт окт 12, 2007 3:26 pm
- Контактная информация:
Alex писал(а):я им. в виду- при установке в Файлы- не надо переопр-ть шрифт в граф теме?
Нет, не надо. В "Файлах" глобальные настройки параметров шрифта для панели.
Alex писал(а):Я бы вообще убрал это в Файлах
Лично я бы убрал краткий вид просмотра (так как я им не пользуюсь), вертикальное расположение панелей и вид с комментариями (по той же причине), а также кучу мелких функций и настроек... но я этого не делаю потому что я не единственный пользователь программы. А потому не будем устраивать дискуссию по поводу того, кто что убрал бы...