comparison dwtx/jface/text/RewriteSessionEditProcessor.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 b6bad70d540a
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
228 public UndoEdit performEdits() throws MalformedTreeException, BadLocationException { 228 public UndoEdit performEdits() throws MalformedTreeException, BadLocationException {
229 IDocument document= getDocument(); 229 IDocument document= getDocument();
230 if (!(document instanceof IDocumentExtension4)) 230 if (!(document instanceof IDocumentExtension4))
231 return super.performEdits(); 231 return super.performEdits();
232 232
233 IDocumentExtension4 extension= (IDocumentExtension4) document; 233 IDocumentExtension4 extension= cast(IDocumentExtension4) document;
234 bool isLargeEdit= isLargeEdit(getRoot()); 234 bool isLargeEdit= isLargeEdit(getRoot());
235 DocumentRewriteSessionType type= isLargeEdit ? DocumentRewriteSessionType.UNRESTRICTED : DocumentRewriteSessionType.UNRESTRICTED_SMALL; 235 DocumentRewriteSessionType type= isLargeEdit ? DocumentRewriteSessionType.UNRESTRICTED : DocumentRewriteSessionType.UNRESTRICTED_SMALL;
236 236
237 DocumentRewriteSession session= extension.startRewriteSession(type); 237 DocumentRewriteSession session= extension.startRewriteSession(type);
238 try { 238 try {