[scala-bts] #3336: Add childElements convenience method to scala.xml.Elem

---------------------+------------------------------------------------------
Reporter: eengbrec | Owner: scala-xml_team
Type: defect | Status: new
Priority: normal | Component: XML support
Keywords: xml |
---------------------+------------------------------------------------------
I'd like a method like this on scala.xml.Elem
{{{
def childElements = child.collect { case e: Elem => e }
}}}
So that I can save a few keystrokes when I just want the children that are
elements, not all of the children.

Copyright © 2013 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland