LINUX.ORG.RU

Opera и DPI


0

0

На нетбуке (Ubuntu 10.04 с Gnome):

$ xdpyinfo | grep resolution
  resolution:    96x96 dots per inch
$

$ xrdb -query | grep dpi
Xft.dpi:        96
$

Шрифты в Opera совпадают размеру с системными и от того приложение гармонично вписывается в окружение.

На обоих десктопах же (Debian Sid с KDE4):

$ xdpyinfo | grep resolution
  resolution:    85x86 dots per inch
$
$ xrdb -query | grep dpi
$

По скрину видно, что размер шрифтов в Opera заметно больше чем в системе:

Скрин №1

Экспериментальным путем добился одинакового шрифта в меню и виджетах через правку ~/.opera/operaprefs.ini:

[Fonts]
Menu=11,4,0,0,0,0,DejaVu Sans
Dialog=11,4,0,0,0,0,DejaVu Sans

Штука в том, что этот 11-ый шрифт нельзя выбрать через настройки в Opera - только 10-ый, 12-ый и т.д.:

Скрин №2

Надо понимать, что Opera продолжает использовать несистемный DPI 96x96.

Можно прописать в ресурсах:

$ grep dpi ~/.Xresources 
Xft.dpi: 86

$ xrdb -query | grep dpi
Xft.dpi:        86

Но на результат это не влияет.

Игрался с параметром:

opera:config#UserPrefs|ForceDPI

но изменений не заметил.

1. Где в системе и как определяется правильный DPI?

2. Откуда DPI берет Opera и как ей указать тот, что испульзуется в DE?

3. Правильно ли я понял что проблема таки с DPI?

★★★★★

У меня как-то были подозрения, что Opera использует другие единицы измерения для размера шрифтов. Хотя как на самом деле дело обстоит не в курсе.

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