X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignViewport.java;h=33a73d384af57e25cd84b894084bc39e234cf608;hb=f683f4d6c8af43be0ffeb96513b52572619efed5;hp=2996c98db9872378792510b7ebefceff5b88879c;hpb=3e8190f2826ee6003878cb31160fc06f23f369a1;p=jalview.git diff --git a/src/jalview/appletgui/AlignViewport.java b/src/jalview/appletgui/AlignViewport.java index 2996c98..33a73d3 100755 --- a/src/jalview/appletgui/AlignViewport.java +++ b/src/jalview/appletgui/AlignViewport.java @@ -122,11 +122,8 @@ public class AlignViewport 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"); @@ -167,6 +164,7 @@ public class AlignViewport upperCasebold = true; } } + } @@ -276,7 +274,7 @@ public class AlignViewport { if (ap != null) { - ap.paintAlignment(true); + ap.paintAlignment(false); } Thread.sleep(200); } @@ -454,7 +452,7 @@ public class AlignViewport { if (ap != null) { - ap.paintAlignment(true); + ap.paintAlignment(false); } Thread.sleep(200); @@ -671,6 +669,7 @@ public class AlignViewport } java.awt.Frame nullFrame; + protected FeatureSettings featureSettings=null; public void setFont(Font f) { font = f; @@ -1444,5 +1443,27 @@ public class AlignViewport sg.recalcConservation(); } } + boolean centreColumnLabels; + public boolean getCentreColumnLabels() + { + return centreColumnLabels; + } + + public void updateSequenceIdColours() + { + Vector groups = alignment.getGroups(); + for (int ig=0,igSize=groups.size(); ig