From b91c00e8dba2b753769ea921dbe4404f49896db0 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Sun, 19 May 2013 19:28:25 +0100 Subject: [PATCH] JAL-1161 enable fastPaint for nudges from scroll bars or trackpad --- src/jalview/gui/AlignmentPanel.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index f8a2543..b4647ae 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -485,7 +485,7 @@ public class AlignmentPanel extends GAlignmentPanel implements return false; } - fastPaint = false; + //fastPaint = false; vscroll.setValue(vscroll.getValue() - 1); } else @@ -495,11 +495,11 @@ public class AlignmentPanel extends GAlignmentPanel implements return false; } - fastPaint = false; + //fastPaint = false; vscroll.setValue(vscroll.getValue() + 1); } - fastPaint = true; + //fastPaint = true; return true; } @@ -521,7 +521,7 @@ public class AlignmentPanel extends GAlignmentPanel implements return false; } - fastPaint = false; + //fastPaint = false; hscroll.setValue(hscroll.getValue() - 1); } else @@ -531,11 +531,11 @@ public class AlignmentPanel extends GAlignmentPanel implements return false; } - fastPaint = false; + //fastPaint = false; hscroll.setValue(hscroll.getValue() + 1); } - fastPaint = true; + //fastPaint = true; return true; } -- 1.7.10.2