LINUX.ORG.RU

Firefox и userChrome.css

 ,


0

1

После обновления с FF-102esr до 115esr резко изменились размеры шрифтов интерфейса.

Нашел, что это можно подправить через userChrome.css и большую часть подправил.

Но осталось несколько мелких проблем:

размер Title (при наведении курсора на элемент с Title) и других диалогов (типа добавить закладку)

Как называются селекторы для этих элементов?

★★★★★

Последнее исправление: vel (всего исправлений: 3)

Проиллюстрируй скриншотами, возможно проще будет понять, что подсказать. Имхо.

После обновления с FF-102esr до 115esr резко изменились размеры шрифтов интерфейса.

Вдруг все стали большими или наоборот маленькими?

krasnh ★★★★★
()
Ответ на: комментарий от i-rinat

layout.css.devPixelsPerPx изменяет все размеры!

А у меня почему-то непропорционально изменились размеры шрифтов интерфейса :(

С размером шрифтов в контенте проблемы нет.

FF запускается в Xorg/XFCE на 4к дисплее.

Полное ощущение, что в новом FF как-то изменилось вычисление dpi

Размер шрифта интерфейса зависит от настроек темы XFCE.

vel ★★★★★
() автор топика
Последнее исправление: vel (всего исправлений: 1)
Ответ на: комментарий от krasnh

Они стали в ~1.5 крупнее. layout.css.devPixelsPerPx у меня 1.5

Размер шрифтов в контенте не изменился.

vel ★★★★★
() автор топика

Полное ощущение, что в новом FF как-то изменилось вычисление dpi

Может что полезное найдется здесь Ссылка1 и Ссылка2.

krasnh ★★★★★
()

Поэтому проще обновляться регулярно))

Я по крайней мере ничего такого не помню (чтобы вдруг размер шрифта в 1.5 раза изменился). Вангую локальные настройки..

mrjaggers
()
Ответ на: комментарий от mrjaggers

Поэтому проще обновляться регулярно))

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

У меня тоже 115 крупнит, запускаю с GDK_DPI_SCALE=0.75

Так вроде привычно выглядит, чсх особо в стилях не ковырялся, практически везде дефолтные настройки.

frunobulax ★★★★
()

После обновления

Совсем забыл посоветовать проверить запуск с --safe-mode.

krasnh ★★★★★
()
Ответ на: комментарий от frunobulax

Спасибо тебе!!!

Удалил userChrome.css, запустил с GDK_DPI_SCALE=0.75 и все стало как прежде.

vel ★★★★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.