На нетбуке (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 заметно больше чем в системе:
Экспериментальным путем добился одинакового шрифта в меню и виджетах через правку ~/.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-ый и т.д.:
Надо понимать, что 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?