{
setAnnotationVisibility(true);
- // copied from AnnotationLabel.actionPerformed (after show/hide row)...
- // TODO should drive this functionality into AlignmentPanel
ap.updateAnnotation();
- // this.ap.annotationPanel.adjustPanelHeight();
- // this.ap.alabels.setSize(this.ap.alabels.getSize().width,
- // this.ap.annotationPanel.getSize().height);
- // this.ap.validate();
- this.ap.paintAlignment(true, false);
}
/**
}
}
ap.updateAnnotation();
- // // this.ap.annotationPanel.adjustPanelHeight();
- // this.ap.alabels.setSize(this.ap.alabels.getSize().width,
- // this.ap.annotationPanel.getSize().height);
- // this.ap.validate();
- this.ap.paintAlignment(true, false);
}
/**
{
setAnnotationVisibility(false);
- this.ap.updateAnnotation();
- // this.ap.annotationPanel.adjustPanelHeight();
- this.ap.paintAlignment(true, false);
+ ap.updateAnnotation();
}
/**