X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=bcdffa095f04cd590a4f0aa227c7f33e81cbf84f;hb=f4fd7b0e74572c8fddbfe9e3e55bc624f8ba0c6a;hp=dc6b0d5f7cf6f3c6c736c15f259b4e47c7c9df5f;hpb=174230b4233d9ce80f94527768d2cd2f76da11ab;p=jalview.git diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index dc6b0d5..bcdffa0 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -40,7 +40,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener // this value is set false when selection area being dragged boolean fastPaint = true; - boolean MAC = false; + public AlignmentPanel(AlignFrame af, final AlignViewport av) { @@ -53,8 +53,6 @@ public class AlignmentPanel extends Panel implements AdjustmentListener e.printStackTrace(); } - if(System.getProperty("os.name").startsWith("Mac")) - MAC = true; alignFrame = af; this.av = av; @@ -441,7 +439,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener int scrollX = av.startRes - oldX; int scrollY = av.startSeq - oldY; - if (av.getWrapAlignment() || !fastPaint || MAC) + if (av.getWrapAlignment() || !fastPaint || av.MAC) { repaint(); }