Mercurial > projects > dwt-addons

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
441 private bool fIsRunnablePosted= false; 441 private bool fIsRunnablePosted= false;
442 /** 442 /**
443 * Redraw runnable 443 * Redraw runnable
444 * @since 3.3 444 * @since 3.3
445 */ 445 */
446 private Runnable fRunnable= new Runnable() { 446 private Runnable fRunnable= new class() Runnable {
447 public void run() { 447 public void run() {
448 synchronized (fRunnableLock) { 448 synchronized (fRunnableLock) {
449 fIsRunnablePosted= false; 449 fIsRunnablePosted= false;
450 } 450 }
451 redraw(); 451 redraw();
536 fHitDetectionCursor= new Cursor(parent.getDisplay(), DWT.CURSOR_HAND); 536 fHitDetectionCursor= new Cursor(parent.getDisplay(), DWT.CURSOR_HAND);
537 537
538 fHeader= new Canvas(parent, DWT.NONE); 538 fHeader= new Canvas(parent, DWT.NONE);
539 539
540 if (fAnnotationAccess instanceof IAnnotationAccessExtension) { 540 if (fAnnotationAccess instanceof IAnnotationAccessExtension) {
541 fHeader.addMouseTrackListener(new MouseTrackAdapter() { 541 fHeader.addMouseTrackListener(new class() MouseTrackAdapter {
542 /* 542 /*
543 * @see dwt.events.MouseTrackAdapter#mouseHover(dwt.events.MouseEvent) 543 * @see dwt.events.MouseTrackAdapter#mouseHover(dwt.events.MouseEvent)
544 * @since 3.3 544 * @since 3.3
545 */ 545 */
546 public void mouseEnter(MouseEvent e) { 546 public void mouseEnter(MouseEvent e) {
549 }); 549 });
550 } 550 }
551 551
552 fCanvas= new Canvas(parent, DWT.NO_BACKGROUND); 552 fCanvas= new Canvas(parent, DWT.NO_BACKGROUND);
553 553
554 fCanvas.addPaintListener(new PaintListener() { 554 fCanvas.addPaintListener(new class() PaintListener {
555 public void paintControl(PaintEvent event) { 555 public void paintControl(PaintEvent event) {
556 if (fTextViewer !is null) 556 if (fTextViewer !is null)
557 doubleBufferPaint(event.gc); 557 doubleBufferPaint(event.gc);
558 } 558 }
559 }); 559 });
560 560
561 fCanvas.addDisposeListener(new DisposeListener() { 561 fCanvas.addDisposeListener(new class() DisposeListener {
562 public void widgetDisposed(DisposeEvent event) { 562 public void widgetDisposed(DisposeEvent event) {
563 handleDispose(); 563 handleDispose();
564 fTextViewer= null; 564 fTextViewer= null;
565 } 565 }
566 }); 566 });
567 567
568 fCanvas.addMouseListener(new MouseAdapter() { 568 fCanvas.addMouseListener(new class() MouseAdapter {
569 public void mouseDown(MouseEvent event) { 569 public void mouseDown(MouseEvent event) {
570 handleMouseDown(event); 570 handleMouseDown(event);
571 } 571 }
572 }); 572 });
573 573
574 fCanvas.addMouseMoveListener(new MouseMoveListener() { 574 fCanvas.addMouseMoveListener(new class() MouseMoveListener {
575 public void mouseMove(MouseEvent event) { 575 public void mouseMove(MouseEvent event) {
576 handleMouseMove(event); 576 handleMouseMove(event);
577 } 577 }
578 }); 578 });
579 579