FYI in lieu of getting it into GWT, I posted a standalone library to the issue mentioned above, with some caveats of a few cases that still need addressed.
On May 31, 3:55 am, Yanick <yanick.roc...@gmail.com> wrote: > If there is a selectAll(); method in the RichTextArea's formatter, > having a getSelection(); and a setSelection(Selection); methods would > be very nice for this widget. > > +1 for a more complete text selection API for the RichTextArea -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to google-web-tool...@googlegroups.com. To unsubscribe from this group, send email to google-web-toolkit+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.