http://gwt-code-reviews.appspot.com/49802/diff/1/5 File user/src/com/google/gwt/user/client/ui/RichTextArea.java (right):
http://gwt-code-reviews.appspot.com/49802/diff/1/5#newcode485 Line 485: void undo(); It prevents a deprecation compiler warning when using the methods. If we inherit them from Basic/ExtendedFormatter, we get deprecation warnings. http://gwt-code-reviews.appspot.com/49802 --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
