comparison dwtx/jface/text/source/ChangeRulerColumn.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
268 fCachedTextWidget= fCachedTextViewer.getTextWidget(); 268 fCachedTextWidget= fCachedTextViewer.getTextWidget();
269 269
270 fCanvas= new Canvas(parentControl, DWT.NONE); 270 fCanvas= new Canvas(parentControl, DWT.NONE);
271 fCanvas.setBackground(getBackground()); 271 fCanvas.setBackground(getBackground());
272 272
273 fCanvas.addPaintListener(new PaintListener() { 273 fCanvas.addPaintListener(new class() PaintListener {
274 public void paintControl(PaintEvent event) { 274 public void paintControl(PaintEvent event) {
275 if (fCachedTextViewer !is null) 275 if (fCachedTextViewer !is null)
276 doubleBufferPaint(event.gc); 276 doubleBufferPaint(event.gc);
277 } 277 }
278 }); 278 });
279 279
280 fCanvas.addDisposeListener(new DisposeListener() { 280 fCanvas.addDisposeListener(new class() DisposeListener {
281 public void widgetDisposed(DisposeEvent e) { 281 public void widgetDisposed(DisposeEvent e) {
282 handleDispose(); 282 handleDispose();
283 fCachedTextViewer= null; 283 fCachedTextViewer= null;
284 fCachedTextWidget= null; 284 fCachedTextWidget= null;
285 } 285 }
529 */ 529 */
530 protected final void postRedraw() { 530 protected final void postRedraw() {
531 if (fCanvas !is null && !fCanvas.isDisposed()) { 531 if (fCanvas !is null && !fCanvas.isDisposed()) {
532 Display d= fCanvas.getDisplay(); 532 Display d= fCanvas.getDisplay();
533 if (d !is null) { 533 if (d !is null) {
534 d.asyncExec(new Runnable() { 534 d.asyncExec(new class() Runnable {
535 public void run() { 535 public void run() {
536 redraw(); 536 redraw();
537 } 537 }
538 }); 538 });
539 } 539 }