ProjectionAnnotation pa = (ProjectionAnnotation) next;
//foldable regions for strings have been marked by using the TextFoldedRegion class
//there may indeed be better ways...
Position position = model.getPosition(pa);
if(position instanceof TypedFoldedRegion && type==((TypedFoldedRegion) position).getType()){
pa.markCollapsed();
toCollapse.add(pa);
}
}
}
model.modifyAnnotations(null, null, toCollapse.toArray(new Annotation[0]));