+ if (applet!=null)
+ {
+ // get the width and height scaling factors if they were specified
+ String param = applet.getParameter("widthScale");
+ if (param!=null)
+ {
+ try {
+ widthScale = new Float(param).floatValue();
+ } catch (Exception e)
+ {
+ }
+ if (widthScale<=1.0)
+ {
+ System.err.println("Invalid alignment character width scaling factor ("+widthScale+"). Ignoring.");
+ widthScale = 1;
+ }
+ if (applet.debug)
+ {
+ System.err.println("Alignment character width scaling factor is now "+widthScale);
+ }
+ }
+ param = applet.getParameter("heightScale");
+ if (param!=null)
+ {
+ try {
+ heightScale = new Float(param).floatValue();
+ } catch (Exception e)
+ {
+ }
+ if (heightScale<=1.0)
+ {
+ System.err.println("Invalid alignment character height scaling factor ("+heightScale+"). Ignoring.");
+ heightScale = 1;
+ }
+ if (applet.debug)
+ {
+ System.err.println("Alignment character height scaling factor is now "+heightScale);
+ }
+ }
+ }