comparison dwtx/jface/text/RewriteSessionEditProcessor.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 26688fec6d23
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
225 /* 225 /*
226 * @see dwtx.text.edits.TextEditProcessor#performEdits() 226 * @see dwtx.text.edits.TextEditProcessor#performEdits()
227 */ 227 */
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 (!( cast(IDocumentExtension4)document ))
231 return super.performEdits(); 231 return super.performEdits();
232 232
233 IDocumentExtension4 extension= cast(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;