comparison dwtx/jface/text/source/AnnotationPainter.d @ 135:65801ad2b265

Regex fix for anon classes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:52:31 +0200
parents 51e6e63f930e
children b6bad70d540a
comparison
equal deleted inserted replaced
134:51e6e63f930e 135:65801ad2b265
1134 // XXX: posting here is a problem for annotations that are being 1134 // XXX: posting here is a problem for annotations that are being
1135 // removed and the positions of which are not updated to document 1135 // removed and the positions of which are not updated to document
1136 // changes any more. If the document gets modified between 1136 // changes any more. If the document gets modified between
1137 // now and running the posted runnable, the position information 1137 // now and running the posted runnable, the position information
1138 // is not accurate any longer. 1138 // is not accurate any longer.
1139 textWidgetDisplay.asyncExec(new Runnable() { 1139 textWidgetDisplay.asyncExec(new class() Runnable {
1140 public void run() { 1140 public void run() {
1141 if (fTextWidget !is null && !fTextWidget.isDisposed()) 1141 if (fTextWidget !is null && !fTextWidget.isDisposed())
1142 updatePainting(event); 1142 updatePainting(event);
1143 } 1143 }
1144 }); 1144 });
1182 public void addAnnotationType(Object annotationType, Object drawingStrategyID) { 1182 public void addAnnotationType(Object annotationType, Object drawingStrategyID) {
1183 fAnnotationType2PaintingStrategyId.put(annotationType, drawingStrategyID); 1183 fAnnotationType2PaintingStrategyId.put(annotationType, drawingStrategyID);
1184 fCachedAnnotationType2PaintingStrategy.clear(); 1184 fCachedAnnotationType2PaintingStrategy.clear();
1185 1185
1186 if (fTextInputListener is null) { 1186 if (fTextInputListener is null) {
1187 fTextInputListener= new ITextInputListener() { 1187 fTextInputListener= new class() ITextInputListener {
1188 1188
1189 /* 1189 /*
1190 * @see dwtx.jface.text.ITextInputListener#inputDocumentAboutToBeChanged(dwtx.jface.text.IDocument, dwtx.jface.text.IDocument) 1190 * @see dwtx.jface.text.ITextInputListener#inputDocumentAboutToBeChanged(dwtx.jface.text.IDocument, dwtx.jface.text.IDocument)
1191 */ 1191 */
1192 public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { 1192 public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {