320321322323324325326327328
/** * Selects all text in the specified element. */ public static void selectAllText(Element e) { Range range = Browser.getDocument().createRange(); range.selectNode(e); Browser.getWindow().getSelection().addRange(range); }
321322323324325326327328329