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