>>> Q: How did you solve the font scaling problem?
> 
> Definitely more than half an hour's work. Perhaps what we are going to
> need is some sort of font size expressed in percent -- which would use the
> Jmol default font size and offsets and some sort of default applet size
> (height? width? 400?), and then calculate the font sizes on the fly from
> that. Or what we will need is some sort of setting such as
> 
>  set fontScaleAutomatic 400
> 
> that would take whatever font sizes and offsets are present and apply the
> ratio of this number to the zoom-determining dimension (height or width).
> Might work....

Would it be possible just to introduce a dimensioned measure of size.
let us say pt, with an internal setting
  set pixelsPerPoint  4.2
or whatever? Then the user who is concerned about such things would
have the responsibility of specifying dimensions in pt.

Brian

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Jmol-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jmol-users

Reply via email to