92 |
* @param end the end position, exclusive |
* @param end the end position, exclusive |
93 |
*/ |
*/ |
94 |
// XXX What happens if indices are out of bounds? |
// XXX What happens if indices are out of bounds? |
95 |
String delete(int start, int end); |
void delete(int start, int end); |
96 |
|
|
97 |
/** |
/** |
98 |
* Cut the text between two points to the system clipboard. |
* Cut the text between two points to the system clipboard. |
101 |
* @param end the end position, exclusive |
* @param end the end position, exclusive |
102 |
*/ |
*/ |
103 |
// XXX What happens if indices are out of bounds? |
// XXX What happens if indices are out of bounds? |
104 |
String cut(int start, int end); |
void cut(int start, int end); |
105 |
|
|
106 |
/** |
/** |
107 |
* Paste the text from the system clipboard at the given index. |
* Paste the text from the system clipboard at the given index. |