TextArea getSelectedText

Hi,

The default TextArea component of Vaadin currently is able to report the cursor position in the text (using getCursorPosition), and is able to highlight text (using setSelectionRange). However in our application we need to query the highlighted text within the textarea, and this is not currently supported. When we look at the code of GWT com.google.gwt.user.client.ui.TextArea there are two methods getSelectedLength and getSelectedText that provide this functionality. Is it possible to expose this functionality to Vaadin TextArea component?