this.endSeq = al.getHeight() - 1;
setFont(font);
- if (System.getProperty("os.name").startsWith("Mac"))
- {
- MAC = true;
- }
-
+ MAC = new jalview.util.Platform().isAMac();
+
if (applet != null)
{
String param = applet.getParameter("showFullId");
{
if (ap != null)
{
- ap.paintAlignment(true);
+ ap.paintAlignment(false);
}
Thread.sleep(200);
}
{
if (ap != null)
{
- ap.paintAlignment(true);
+ ap.paintAlignment(false);
}
Thread.sleep(200);
}
java.awt.Frame nullFrame;
+ protected FeatureSettings featureSettings=null;
public void setFont(Font f)
{
font = f;