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 email@example.com.
To unsubscribe from this group, send email to firstname.lastname@example.org.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.