Mercurial > projects > dwt-addons
comparison dwtx/jface/text/source/VerticalRuler.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 |
---|---|
209 | 209 |
210 fTextViewer= textViewer; | 210 fTextViewer= textViewer; |
211 | 211 |
212 fCanvas= new Canvas(parent, DWT.NO_BACKGROUND); | 212 fCanvas= new Canvas(parent, DWT.NO_BACKGROUND); |
213 | 213 |
214 fCanvas.addPaintListener(new PaintListener() { | 214 fCanvas.addPaintListener(new class() PaintListener { |
215 public void paintControl(PaintEvent event) { | 215 public void paintControl(PaintEvent event) { |
216 if (fTextViewer !is null) | 216 if (fTextViewer !is null) |
217 doubleBufferPaint(event.gc); | 217 doubleBufferPaint(event.gc); |
218 } | 218 } |
219 }); | 219 }); |
220 | 220 |
221 fCanvas.addDisposeListener(new DisposeListener() { | 221 fCanvas.addDisposeListener(new class() DisposeListener { |
222 public void widgetDisposed(DisposeEvent e) { | 222 public void widgetDisposed(DisposeEvent e) { |
223 handleDispose(); | 223 handleDispose(); |
224 fTextViewer= null; | 224 fTextViewer= null; |
225 } | 225 } |
226 }); | 226 }); |
227 | 227 |
228 fCanvas.addMouseListener(new MouseListener() { | 228 fCanvas.addMouseListener(new class() MouseListener { |
229 public void mouseUp(MouseEvent event) { | 229 public void mouseUp(MouseEvent event) { |
230 } | 230 } |
231 | 231 |
232 public void mouseDown(MouseEvent event) { | 232 public void mouseDown(MouseEvent event) { |
233 fLastMouseButtonActivityLine= toDocumentLineNumber(event.y); | 233 fLastMouseButtonActivityLine= toDocumentLineNumber(event.y); |
513 */ | 513 */ |
514 public void update() { | 514 public void update() { |
515 if (fCanvas !is null && !fCanvas.isDisposed()) { | 515 if (fCanvas !is null && !fCanvas.isDisposed()) { |
516 Display d= fCanvas.getDisplay(); | 516 Display d= fCanvas.getDisplay(); |
517 if (d !is null) { | 517 if (d !is null) { |
518 d.asyncExec(new Runnable() { | 518 d.asyncExec(new class() Runnable { |
519 public void run() { | 519 public void run() { |
520 redraw(); | 520 redraw(); |
521 } | 521 } |
522 }); | 522 }); |
523 } | 523 } |