comparison dwtx/text/edits/TextEdit.d @ 156:a9566845f1cb

...
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 19:03:46 +0200
parents f70d9508c95c
children 7926b636c282
comparison
equal deleted inserted replaced
155:8442b6b2da2d 156:a9566845f1cb
455 * @return the edit's children 455 * @return the edit's children
456 */ 456 */
457 public final TextEdit[] getChildren() { 457 public final TextEdit[] getChildren() {
458 if (fChildren is null) 458 if (fChildren is null)
459 return EMPTY_ARRAY; 459 return EMPTY_ARRAY;
460 return (TextEdit[])fChildren.toArray(new TextEdit[fChildren.size()]); 460 return arraycast!(TextEdit)(fChildren.toArray());
461 } 461 }
462 462
463 /** 463 /**
464 * Returns the size of the managed children. 464 * Returns the size of the managed children.
465 * 465 *