LINUX.ORG.RU

Настройки DPI в Opera 9.10


0

0

Товарищи, есть 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?
★★★

Ответ на: Re: Настройки DPI в Opera 9.10 от kaktyc

Re: Настройки DPI в Opera 9.10

В opera:config появляется вписанная в ~/.opera/opera6.ini переменная. Но меня интересуют именно шрифты, а не какие-то там строчки в конфигах. Баг-репорт кто-нибудь слал?

Rikz ★★★ ()
Ответ на: Re: Настройки DPI в Opera 9.10 от Rikz

Re: Настройки DPI в Opera 9.10

Только что попробовал вписать туда DPI 500. Эффект есть, но на меню оперы не распространяется. Вообще весьма локальный эффект :)

Rikz ★★★ ()

Re: Настройки DPI в Opera 9.10

Присоединяюсь, такая же проблема. Чтобы компенсировать я лично выставил шрифты на несколько размеров больше.

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