*/
public synchronized void setText(String text) {
TextChangedEvent changeEvent = new TextChangedEvent(this);
for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) {
TextChangeListener element = (TextChangeListener) iter.next();
element.textSet(changeEvent);
}
}
/* (non-Javadoc)
* @see org.eclipse.jface.text.IDocumentListener#documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent)