public void textChanged(TextEvent e) { if (fTextViewer != null && e.getDocumentEvent() == null) {
public void textChanged(TextEvent e) { if (fTextViewer != null && e.getDocumentEvent() == null && e.getViewerRedrawState()) {
		public void textChanged(TextEvent e) {			if (fTextViewer != null && e.getDocumentEvent() == null) {				// handle only changes of visible document				redraw();			}		}