if (!event.getViewerRedrawState()) return;
	public void textChanged(TextEvent event) {		fTextChanged= true;		Control control= fSourceViewer.getTextWidget();		if (control != null) {			control.getDisplay().asyncExec(new Runnable() {				public void run() {					if (fTextChanged && fSourceViewer != null) 						paint(IPainter.TEXT_CHANGE);				}			});		}	}