Mercurial > projects > dwt-addons
comparison dwtx/jface/text/TextViewerUndoManager.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 |
---|---|
296 extension= cast(ITextViewerExtension) fTextViewer; | 296 extension= cast(ITextViewerExtension) fTextViewer; |
297 | 297 |
298 if (extension !is null) | 298 if (extension !is null) |
299 extension.setRedraw(false); | 299 extension.setRedraw(false); |
300 } | 300 } |
301 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { | 301 fTextViewer.getTextWidget().getDisplay().syncExec(new class() Runnable { |
302 public void run() { | 302 public void run() { |
303 if (fTextViewer instanceof TextViewer) | 303 if (fTextViewer instanceof TextViewer) |
304 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true); | 304 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true); |
305 } | 305 } |
306 }); | 306 }); |
307 | 307 |
308 } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0)) { | 308 } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0)) { |
309 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { | 309 fTextViewer.getTextWidget().getDisplay().syncExec(new class() Runnable { |
310 public void run() { | 310 public void run() { |
311 if (fTextViewer instanceof TextViewer) | 311 if (fTextViewer instanceof TextViewer) |
312 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false); | 312 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false); |
313 } | 313 } |
314 }); | 314 }); |
442 final Shell finalShell= shell; | 442 final Shell finalShell= shell; |
443 if (finalShell !is null) | 443 if (finalShell !is null) |
444 display= finalShell.getDisplay(); | 444 display= finalShell.getDisplay(); |
445 else | 445 else |
446 display= Display.getDefault(); | 446 display= Display.getDefault(); |
447 display.syncExec(new Runnable() { | 447 display.syncExec(new class() Runnable { |
448 public void run() { | 448 public void run() { |
449 MessageDialog.openError(finalShell, title, ex.getLocalizedMessage()); | 449 MessageDialog.openError(finalShell, title, ex.getLocalizedMessage()); |
450 } | 450 } |
451 }); | 451 }); |
452 } | 452 } |