X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdCanvas.java;h=ef80616381f63a7c87f1c9e9c6bd388e2614e62c;hb=97fd3b7a62963b882bf14ca7ec352b5f6f7325e7;hp=5eddc4fa5492c8c8405d6a702eb24a2ef9b3a706;hpb=3d0101179759ef157b088ea135423cd909512d9f;p=jalview.git diff --git a/src/jalview/appletgui/IdCanvas.java b/src/jalview/appletgui/IdCanvas.java index 5eddc4f..ef80616 100755 --- a/src/jalview/appletgui/IdCanvas.java +++ b/src/jalview/appletgui/IdCanvas.java @@ -280,15 +280,9 @@ public class IdCanvas extends Panel implements ViewportListenerI protected void drawIdsWrapped(int starty, final boolean doHiddenCheck, boolean hiddenRows) { - int maxwidth = av.getAlignment().getWidth(); + int maxwidth = av.getAlignment().getVisibleWidth(); int alheight = av.getAlignment().getHeight(); - if (av.hasHiddenColumns()) - { - maxwidth = av.getAlignment().getHiddenColumns() - .findColumnPosition(maxwidth) - 1; - } - int annotationHeight = 0; AnnotationLabels labels = null; @@ -448,5 +442,14 @@ public class IdCanvas extends Panel implements ViewportListenerI { fastPaint((int) evt.getNewValue() - (int) evt.getOldValue()); } + else if (propertyName.equals(ViewportRanges.STARTRESANDSEQ)) + { + fastPaint(((int[]) evt.getNewValue())[1] + - ((int[]) evt.getOldValue())[1]); + } + else if (propertyName.equals(ViewportRanges.MOVE_VIEWPORT)) + { + repaint(); + } } }