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 }