Mercurial > projects > dwt-addons
diff dwtx/jface/text/TextViewerUndoManager.d @ 134:51e6e63f930e
Regex fix for casts
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 01:46:20 +0200 |
parents | 7d818bd32d63 |
children | 65801ad2b265 |
line wrap: on
line diff
--- a/dwtx/jface/text/TextViewerUndoManager.d Sun Aug 24 01:29:22 2008 +0200 +++ b/dwtx/jface/text/TextViewerUndoManager.d Sun Aug 24 01:46:20 2008 +0200 @@ -293,7 +293,7 @@ if (event.isCompound()) { ITextViewerExtension extension= null; if (fTextViewer instanceof ITextViewerExtension) - extension= (ITextViewerExtension) fTextViewer; + extension= cast(ITextViewerExtension) fTextViewer; if (extension !is null) extension.setRedraw(false); @@ -301,7 +301,7 @@ fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { public void run() { if (fTextViewer instanceof TextViewer) - ((TextViewer)fTextViewer).ignoreAutoEditStrategies(true); + (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true); } }); @@ -309,13 +309,13 @@ fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { public void run() { if (fTextViewer instanceof TextViewer) - ((TextViewer)fTextViewer).ignoreAutoEditStrategies(false); + (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false); } }); if (event.isCompound()) { ITextViewerExtension extension= null; if (fTextViewer instanceof ITextViewerExtension) - extension= (ITextViewerExtension) fTextViewer; + extension= cast(ITextViewerExtension) fTextViewer; if (extension !is null) extension.setRedraw(true); @@ -546,7 +546,7 @@ */ private void selectAndReveal(int offset, int length) { if (fTextViewer instanceof ITextViewerExtension5) { - ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; + ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer; extension.exposeModelRange(new Region(offset, length)); } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length)) fTextViewer.resetVisibleRegion();