comparison dwtx/jface/text/PaintManager.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 f70d9508c95c
comparison
equal deleted inserted replaced
134:51e6e63f930e 135:65801ad2b265
490 if (!event.getViewerRedrawState()) 490 if (!event.getViewerRedrawState())
491 return; 491 return;
492 492
493 Control control= fTextViewer.getTextWidget(); 493 Control control= fTextViewer.getTextWidget();
494 if (control !is null) { 494 if (control !is null) {
495 control.getDisplay().asyncExec(new Runnable() { 495 control.getDisplay().asyncExec(new class() Runnable {
496 public void run() { 496 public void run() {
497 if (fTextViewer !is null) 497 if (fTextViewer !is null)
498 paint(IPainter.TEXT_CHANGE); 498 paint(IPainter.TEXT_CHANGE);
499 } 499 }
500 }); 500 });