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

Class RichTextArea.FontSize

GWT 2.5.1