]> source.dussan.org Git - vaadin-framework.git/commit
#3012 Remove some more deprecated GWT API use (VRichTextArea formatters)
authorHenri Sara <henri.sara@itmill.com>
Tue, 1 Sep 2009 13:43:46 +0000 (13:43 +0000)
committerHenri Sara <henri.sara@itmill.com>
Tue, 1 Sep 2009 13:43:46 +0000 (13:43 +0000)
commit107cc21e7f68e42c662f779b32392af9d08ea012
tree320438578a73b1e03cf56df43d93120d0f83f390
parentfb55cc1852ee2facb6314446090b4e3a7fd7c564
#3012 Remove some more deprecated GWT API use (VRichTextArea formatters)

svn changeset:8621/svn branch:6.1
src/com/vaadin/terminal/gwt/client/ui/richtextarea/VRichTextArea.java
src/com/vaadin/terminal/gwt/client/ui/richtextarea/VRichTextToolbar.java