GWT 2.5.1
com.google.gwt.user.client.ui

Interface RichTextArea.ExtendedFormatter

GWT 2.5.1