coping with fonts when desktop set to large fonts

[tsh73]

I have two computers - desktop and netbook. Since netbook is tiny it is set to Large fonts (actually 125%) via Windows itself.

Now, fonts in JB got different pixel sizes.

If I put 

#gr "font times_new_roman 60 bold"in normal size, it gets bigger pixel-wise on 125% size
So it doesn't fit to same pixel size window.

What to do?
One could specify font size not in points but in pixels (described in a help file)

#gr "font times_new_roman 0 90 bold"

This way it will take same amount of pixels.
Very handy if you do something pixel-by-pixel

(bonus.
#gr "place 0 0"
#gr "\"
#gr "posxy dummy charH" gives you in charH line height at current font.
Now, if you have that checked for 100% desktop, you can tell if user has bigger fonts setting.
)