git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3676 extra information about jalview_properties file being used in Java Console
[jalview.git]
/
src
/
jalview
/
appletgui
/
AlignmentPanel.java
diff --git
a/src/jalview/appletgui/AlignmentPanel.java
b/src/jalview/appletgui/AlignmentPanel.java
index
91ae27b
..
fd75296
100644
(file)
--- a/
src/jalview/appletgui/AlignmentPanel.java
+++ b/
src/jalview/appletgui/AlignmentPanel.java
@@
-345,7
+345,7
@@
public class AlignmentPanel extends Panel
int verticalOffset, boolean redrawOverview, boolean centre)
{
// do we need to scroll the panel?
int verticalOffset, boolean redrawOverview, boolean centre)
{
// do we need to scroll the panel?
- if (results != null && results.getSize() > 0)
+ if (results != null && results.getCount() > 0)
{
AlignmentI alignment = av.getAlignment();
int seqIndex = alignment.findIndex(results);
{
AlignmentI alignment = av.getAlignment();
int seqIndex = alignment.findIndex(results);
@@
-737,7
+737,6
@@
public class AlignmentPanel extends Panel
@Override
public void adjustmentValueChanged(AdjustmentEvent evt)
{
@Override
public void adjustmentValueChanged(AdjustmentEvent evt)
{
- seqPanel.seqCanvas.clearFastPaint();
// Note that this event is NOT fired by the AWT scrollbar when setValues is
// called. Instead manually call adjustHorizontal and adjustVertical
// directly.
// Note that this event is NOT fired by the AWT scrollbar when setValues is
// called. Instead manually call adjustHorizontal and adjustVertical
// directly.