134135136137138139140141142143144
popup.setRight("5%"); popup.setLeft("10%"); popup.setBottom("30%"); } popup.show(); } private static native void markText(Element elem) /*-{ if ($doc.selection && $doc.selection.createRange) { var range = $doc.selection.createRange();