* @param documentModifyListener new document modify listener
*
* @author Sebastian R�sgen
*/
public void addDocumentModifyListener(IDocumentModifyListener documentModifyListener) {
DocumentModifyListenerWrapper documentListenerWrapper =
new DocumentModifyListenerWrapper(documentModifyListener);
addModifyListener(documentListenerWrapper);
if (modifyListenerTable == null)
modifyListenerTable = new Hashtable();
modifyListenerTable.put(documentModifyListener, documentListenerWrapper);
}