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
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();
}
/**
