import java.beans.PropertyChangeEvent;
import java.util.List;
+@SuppressWarnings("serial")
public class AlignmentPanel extends Panel
implements AdjustmentListener, AlignmentViewPanel, ViewportListenerI
{
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);
public boolean scrollTo(int ostart, int end, int seqIndex,
boolean scrollToNearest, boolean redrawOverview)
{
- int startv, endv, starts, ends, width;
+ int startv, endv, starts, ends;//, width;
int start = -1;
if (av.hasHiddenColumns())
}
else
{
- int width = av.getAlignment().getWidth();
+ int width = av.getAlignment().getVisibleWidth();
int height = av.getAlignment().getHeight();
- if (av.hasHiddenColumns())
- {
- width = av.getAlignment().getHiddenColumns()
- .absoluteToVisibleColumn(width);
- }
if (x < 0)
{
x = 0;