X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fworkers%2FAnnotationWorker.java;h=8f37f15e7377bba0153d42203846bee11bab188c;hb=da09a965dd227e2d03d0f8f3ead720bf4f918d9b;hp=4d81307a2a6598d97cd39b1a03312832428858b6;hpb=6d2246e02a1232760ec873f9b6ee4a775c6b4b7d;p=jalview.git diff --git a/src/jalview/workers/AnnotationWorker.java b/src/jalview/workers/AnnotationWorker.java index 4d81307..8f37f15 100644 --- a/src/jalview/workers/AnnotationWorker.java +++ b/src/jalview/workers/AnnotationWorker.java @@ -47,11 +47,11 @@ class AnnotationWorker extends AlignCalcWorker * @param af * @param counter */ - public AnnotationWorker(AlignViewportI viewport, - AlignmentViewPanel panel, AnnotationProviderI counter) + public AnnotationWorker(AlignViewportI viewport, AlignmentViewPanel panel, + AnnotationProviderI counter) { super(viewport, panel); - ourAnnots = new ArrayList(); + ourAnnots = new ArrayList<>(); this.counter = counter; calcMan.registerWorker(this); } @@ -121,7 +121,10 @@ class AnnotationWorker extends AlignCalcWorker if (ap != null) { ap.adjustAnnotationHeight(); - ap.paintAlignment(true); + // TODO: only need to update colour and geometry if panel height changes + // and view is coloured by annotation, and the annotation is actually + // changed! + ap.paintAlignment(true, true); } }