Mercurial > projects > dwt-addons

comparison dwtx/jface/internal/text/revisions/RevisionPainter.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 6dcb0baaa031
comparison
equal deleted inserted replaced
134:51e6e63f930e 135:65801ad2b265
374 /* 374 /*
375 * @see dwtx.jface.internal.text.revisions.AbstractReusableInformationControlCreator#doCreateInformationControl(dwt.widgets.Shell) 375 * @see dwtx.jface.internal.text.revisions.AbstractReusableInformationControlCreator#doCreateInformationControl(dwt.widgets.Shell)
376 */ 376 */
377 protected IInformationControl doCreateInformationControl(Shell parent) { 377 protected IInformationControl doCreateInformationControl(Shell parent) {
378 if (BrowserInformationControl.isAvailable(parent)) { 378 if (BrowserInformationControl.isAvailable(parent)) {
379 return new BrowserInformationControl(parent, JFaceResources.DIALOG_FONT, fIsFocusable) { 379 return new class(parent, JFaceResources.DIALOG_FONT, fIsFocusable) BrowserInformationControl {
380 /* 380 /*
381 * @see dwtx.jface.internal.text.html.BrowserInformationControl#setInformation(java.lang.String) 381 * @see dwtx.jface.internal.text.html.BrowserInformationControl#setInformation(java.lang.String)
382 * @since 3.3 382 * @since 3.3
383 */ 383 */
384 public void setInformation(String content) { 384 public void setInformation(String content) {
762 762
763 fControl.addMouseTrackListener(fMouseHandler); 763 fControl.addMouseTrackListener(fMouseHandler);
764 fControl.addMouseMoveListener(fMouseHandler); 764 fControl.addMouseMoveListener(fMouseHandler);
765 fControl.addListener(DWT.MouseUp, fMouseHandler); 765 fControl.addListener(DWT.MouseUp, fMouseHandler);
766 fControl.addListener(DWT.MouseDown, fMouseHandler); 766 fControl.addListener(DWT.MouseDown, fMouseHandler);
767 fControl.addDisposeListener(new DisposeListener() { 767 fControl.addDisposeListener(new class() DisposeListener {
768 /* 768 /*
769 * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent) 769 * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent)
770 */ 770 */
771 public void widgetDisposed(DisposeEvent e) { 771 public void widgetDisposed(DisposeEvent e) {
772 handleDispose(); 772 handleDispose();
1367 */ 1367 */
1368 private final void postRedraw() { 1368 private final void postRedraw() {
1369 if (isConnected() && !fControl.isDisposed()) { 1369 if (isConnected() && !fControl.isDisposed()) {
1370 Display d= fControl.getDisplay(); 1370 Display d= fControl.getDisplay();
1371 if (d !is null) { 1371 if (d !is null) {
1372 d.asyncExec(new Runnable() { 1372 d.asyncExec(new class() Runnable {
1373 public void run() { 1373 public void run() {
1374 redraw(); 1374 redraw();
1375 } 1375 }
1376 }); 1376 });
1377 } 1377 }