comparison dwtx/text/edits/CopyTargetEdit.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 6dcb0baaa031
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
132 /* 132 /*
133 * @see TextEdit#postProcessCopy 133 * @see TextEdit#postProcessCopy
134 */ 134 */
135 protected void postProcessCopy(TextEditCopier copier) { 135 protected void postProcessCopy(TextEditCopier copier) {
136 if (fSource !is null) { 136 if (fSource !is null) {
137 CopyTargetEdit target= (CopyTargetEdit)copier.getCopy(this); 137 CopyTargetEdit target= cast(CopyTargetEdit)copier.getCopy(this);
138 CopySourceEdit source= (CopySourceEdit)copier.getCopy(fSource); 138 CopySourceEdit source= cast(CopySourceEdit)copier.getCopy(fSource);
139 if (target !is null && source !is null) 139 if (target !is null && source !is null)
140 target.setSourceEdit(source); 140 target.setSourceEdit(source);
141 } 141 }
142 } 142 }
143 143