649650651652653654655656657658659
sourceViewer.setEditable(false); mPainter = new AnnotationPainter(sourceViewer, new AnnotationAccess()); sourceViewer.addPainter(mPainter); return sourceViewer; } private void setTextSize(int newSize) {
572573574575576577578579580581582
sourceViewer.setEditable(false); mPainter = new AnnotationPainter(sourceViewer, new AnnotationAccess()); sourceViewer.addPainter(mPainter); return sourceViewer; } /**
626627628629630631632633634635636
602603604605606607608609610611612