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