Lines Matching defs:end
358 * Replaces text between the indicated start and end positions
359 * with the specified replacement text. The text at the end
362 * same as the end position).
372 * @param end the end position
376 public void replaceRange(String str, int start, int end) {
377 replaceText(str, start, end);
385 public synchronized void replaceText(String str, int start, int end) {
388 peer.replaceRange(str, start, end);
390 text = text.substring(0, start) + str + text.substring(end);