git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
792e2bd
)
add fastPaint boolean
author
amwaterhouse
<Andrew Waterhouse>
Thu, 7 Apr 2005 10:40:52 +0000
(10:40 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 7 Apr 2005 10:40:52 +0000
(10:40 +0000)
src/jalview/gui/AlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignmentPanel.java
b/src/jalview/gui/AlignmentPanel.java
index
b3ad3ad
..
75729c3
100755
(executable)
--- a/
src/jalview/gui/AlignmentPanel.java
+++ b/
src/jalview/gui/AlignmentPanel.java
@@
-27,6
+27,9
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
AnnotationPanel annotationPanel;
\r
AnnotationLabels alabels;
\r
\r
AnnotationPanel annotationPanel;
\r
AnnotationLabels alabels;
\r
\r
+ // this value is set false when selection area being dragged
\r
+ boolean fastPaint = true;
\r
+
\r
public AlignmentPanel(AlignFrame af, final AlignViewport av)
\r
{
\r
alignFrame = af;
\r
public AlignmentPanel(AlignFrame af, final AlignViewport av)
\r
{
\r
alignFrame = af;
\r
@@
-274,34
+277,40
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
{
\r
if(vscroll.getValue()<1)
\r
return false;
\r
{
\r
if(vscroll.getValue()<1)
\r
return false;
\r
+ fastPaint = false;
\r
vscroll.setValue(vscroll.getValue() - 1);
\r
}
\r
else
\r
{
\r
if(vextent+vscroll.getValue() >= av.getAlignment().getHeight())
\r
return false;
\r
vscroll.setValue(vscroll.getValue() - 1);
\r
}
\r
else
\r
{
\r
if(vextent+vscroll.getValue() >= av.getAlignment().getHeight())
\r
return false;
\r
+ fastPaint = false;
\r
vscroll.setValue(vscroll.getValue() + 1);
\r
}
\r
vscroll.setValue(vscroll.getValue() + 1);
\r
}
\r
+ fastPaint = true;
\r
return true;
\r
}
\r
\r
public boolean scrollRight(boolean right)
\r
{
\r
return true;
\r
}
\r
\r
public boolean scrollRight(boolean right)
\r
{
\r
- if(right)
\r
- {
\r
- if(hscroll.getValue()<1)
\r
- return false;
\r
- hscroll.setValue(hscroll.getValue() - 1);
\r
- }
\r
- else
\r
- {
\r
- if(hextent+hscroll.getValue() >= av.getAlignment().getWidth())
\r
- return false;
\r
- hscroll.setValue(hscroll.getValue() + 1);
\r
- }
\r
\r
\r
- return true;
\r
- }
\r
+ if (right)
\r
+ {
\r
+ if (hscroll.getValue() < 1)
\r
+ return false;
\r
+ fastPaint = false;
\r
+ hscroll.setValue(hscroll.getValue() - 1);
\r
+ }
\r
+ else
\r
+ {
\r
+ if (hextent + hscroll.getValue() >= av.getAlignment().getWidth())
\r
+ return false;
\r
+ fastPaint = false;
\r
+ hscroll.setValue(hscroll.getValue() + 1);
\r
+ }
\r
+ fastPaint = true;
\r
+ return true;
\r
+ }
\r
\r
\r
public void setScrollValues(int x, int y)
\r
\r
\r
public void setScrollValues(int x, int y)
\r
@@
-362,7
+371,7
@@
public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
if(overviewPanel!=null)
\r
overviewPanel.setBoxPosition();
\r
\r
if(overviewPanel!=null)
\r
overviewPanel.setBoxPosition();
\r
\r
- if(av.getWrapAlignment())
\r
+ if(av.getWrapAlignment() || !fastPaint)
\r
repaint();
\r
else
\r
{
\r
repaint();
\r
else
\r
{
\r