Committed Benno's patch to fix bug 113247: [performance] investigate using a range index in AnnotationPainter or AnnotationModel
3 files changed