comparison dwtx/jface/internal/text/source/DiffPainter.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
184 184
185 fControl= fColumn.getControl(); 185 fControl= fColumn.getControl();
186 if (fControl is null) 186 if (fControl is null)
187 return; 187 return;
188 188
189 fControl.addDisposeListener(new DisposeListener() { 189 fControl.addDisposeListener(new class() DisposeListener {
190 /* 190 /*
191 * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent) 191 * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent)
192 */ 192 */
193 public void widgetDisposed(DisposeEvent e) { 193 public void widgetDisposed(DisposeEvent e) {
194 handleDispose(); 194 handleDispose();
371 */ 371 */
372 private final void postRedraw() { 372 private final void postRedraw() {
373 if (isConnected() && !fControl.isDisposed()) { 373 if (isConnected() && !fControl.isDisposed()) {
374 Display d= fControl.getDisplay(); 374 Display d= fControl.getDisplay();
375 if (d !is null) { 375 if (d !is null) {
376 d.asyncExec(new Runnable() { 376 d.asyncExec(new class() Runnable {
377 public void run() { 377 public void run() {
378 redraw(); 378 redraw();
379 } 379 }
380 }); 380 });
381 } 381 }