comparison dwtx/text/edits/MoveTargetEdit.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents c4fb132a086c
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 MoveTargetEdit target= (MoveTargetEdit)copier.getCopy(this); 137 MoveTargetEdit target= cast(MoveTargetEdit)copier.getCopy(this);
138 MoveSourceEdit source= (MoveSourceEdit)copier.getCopy(fSource); 138 MoveSourceEdit source= cast(MoveSourceEdit)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