Removing RichTextArea API additions introduced in r5630 and r5631 because some people may be extending these interfaces, which makes these breaking changes.

Patch by: jlabanca
Review by: kprobst



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@5723 8db76d5a-ed1c-0410-87a9-c151d255dfc7

user/src/com/google/gwt/user/client/ui/RichTextArea.java

diff --git a/user/src/com/google/gwt/user/client/ui/RichTextArea.java b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
index 5264375..92731c5 100644
--- a/user/src/com/google/gwt/user/client/ui/RichTextArea.java
+++ b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
@@ -210,13 +210,6 @@
     void insertHorizontalRule();
 
     /**
-     * Inserts generic html.
-     * 
-     * @param html the HTML to insert
-     */
-    void insertHTML(String html);
-
-    /**
      * Inserts an image element.
      * 
      * @param url the url of the image to be inserted
@@ -246,11 +239,6 @@
     void leftIndent();
 
     /**
-     * Redo an action that was just undone.
-     */
-    void redo();
-
-    /**
      * Removes all formatting on the selected text.
      */
     void removeFormat();
@@ -269,11 +257,6 @@
      * Toggles strikethrough.
      */
     void toggleStrikethrough();
-
-    /**
-     * Undo the last action.
-     */
-    void undo();
   }
 
   /**