new applet parameters: heightScale and widthScale
authorjprocter <Jim Procter>
Mon, 26 Apr 2010 10:00:53 +0000 (10:00 +0000)
committerjprocter <Jim Procter>
Mon, 26 Apr 2010 10:00:53 +0000 (10:00 +0000)
commit742adcf2a22d9e7b8e8c9a6cf0dad5bab09e3b39
treefffcd07c820821e8809146f985175df68a7e4651
parenta8ce6286d9ca83c6fa044cc8584f2256c0235db3
new applet parameters: heightScale and widthScale
src/jalview/appletgui/AlignViewport.java