RasMol lets the user set the fontsize. But the units that are used are not 'points', the standard unit of measurement for fonts.
In order to try to maintain compatibility with existing scripts I am adding 5 to the RasMol fontsize in order to get the points. So the default RasMol fontsize, 8, becomes a 13 point font. Was this the right thing to do? Or should we just make fontsize be in points and have people tweak their scripts? Miguel ------------------------------------------------------- This SF.net email is sponsored by: SF.net Giveback Program. Does SourceForge.net help you be more productive? Does it help you create better code? SHARE THE LOVE, and help us help YOU! Click Here: http://sourceforge.net/donate/ _______________________________________________ Jmol-users mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/jmol-users
