From 5e34f249e1565c22cad33fb37037047236ba8eca Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 30 Aug 2005 08:59:02 +0000 Subject: [PATCH] If Mac, dont use fastpaint --- src/jalview/appletgui/AlignmentPanel.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index fe65e0b..ef84548 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -44,8 +44,13 @@ public class AlignmentPanel // this value is set false when selection area being dragged boolean fastPaint = true; + boolean MAC = false; + public AlignmentPanel(AlignFrame af, final AlignViewport av) { + if(System.getProperty("os.name").startsWith("Mac")) + MAC = true; + alignFrame = af; this.av = av; seqPanel = new SeqPanel(av, this); @@ -429,7 +434,7 @@ public class AlignmentPanel overviewPanel.setBoxPosition(); } - if (av.getWrapAlignment() || !fastPaint || System.getProperty("os.name").startsWith("Mac")) + if (av.getWrapAlignment() || !fastPaint || MAC) { repaint(); } -- 1.7.10.2