Could I find out the zoom factor and compensate
the effect
http://lxr.mozilla.org/seamonkey/source/xpfe/communicator/resources/content/viewZoomOverlay.js#75
(you'll have to trace the code a bit to find what
getMarkupDocumentViewer() does
Nice!
This actually seems to work.
And the necessary code is relatively simple:
// compensate text zoom
var zoom = ZoomManager.prototype.getInstance();
var currentZoom = zoom.textZoom;
this.lnode.style.lineHeight= 20*100/currentZoom+ "px";
this.lnode.style.fontSize= 8*100/currentZoom+ "pt";
Thank you!
Jens
