Привет всем!
После смены разрешения на мониторе кол-во dpi увеличилось с ~80 до ~100. Соответственно, 12pt Monotype Arial имеет в высоту уже не 12px, а 17px. Есть java 1.4.x и font.properties, в кот. прописаны монотайповские шрифты (Arial, Courier New и Times New Roman). Параметром в этих font.properties является размер шрифта в decipoints (не в пикселях!), так что теоретически смена разрешения на мониторе должна была пройти гладко (ожидаемый результат -- сохранене размера в миллиметрах при увеличении размера в пикселях). Ан нет. Джава рисует шрифты, как будто они заданы маской:
-*-*-*-*-*-*-*-*-75-75-*-*-*-*
(в файле стоит, например, -monotype-arial-medium-r-normal--*-%d-*-*-p-*-koi8-r)
-- и даже явное задание-monotype-arial-medium-r-normal--*-%d-100-100-p-*-koi8-r не помогает. В чём грабли, брат?