> In the Jun-5 build, it seems like Document.setRootElement is wrong:
> (Sorry if this has already been logged)
> Shouldn't it be:
>
> // If existing root element, tell it that it's no longer root
> if (this.rootElement != null) {
> this.rootElement.setIsRootElement(false);
> }
Just fixed it. Thanks.
-jh-