int h = span.getOffsetHeight() ;
Rectangle result = new Rectangle(x, y, w, h) ;
ElementEx parent = (ElementEx)span.getParentElement() ;
parent.removeChild(span) ;
parent.normalize() ;
sel.setRange(selRng);
return result;
}
public String replaceSelection(Document document, String text)