Товарищи, есть Opera 9.10 под Gentoo Linux. Сборка Opera не статическая,
установлена из портажей.
Сижу под kde-3.5.6. В настройках kde в разделе шрифты стоит галка
"использовать другой dpi:" и значение "96". В xorg.conf в секции
Monitor есть строка "DisplaySize 338 211", по которой иксы высчитывают
значение DPI:
$ xdpyinfo |grep resolution
resolution: 96x96 dots per inch
В gtk и Qt приложениях шрифты выглядят одинаково. Однако Opera, судя по
всему, настройки DPI игнорирует. Например в kde-приложениях для меню
выбран шрифт Verdana 9, а в Opera чтобы получить шрифт такого же
размера, нужно выбрать Verdana 12.
В интернете нашел некое решение с бубном - вписать в /.opera/opera6.ini
в раздел [User Prefs] "Force DPI=96". Но Opera проигнорировала и эту
настройку.
Собственно вопрос, как все-таки задать DPI для Opera?
В opera:config появляется вписанная в ~/.opera/opera6.ini переменная. Но меня интересуют именно шрифты, а не какие-то там строчки в конфигах. Баг-репорт кто-нибудь слал?