383384385386387388389390391392393
*/ @Deprecated public synchronized void replaceText(String str, int start, int end) { TextAreaPeer peer = (TextAreaPeer)this.peer; if (peer != null) { peer.replaceRange(str, start, end); } else { text = text.substring(0, start) + str + text.substring(end); } }
539540541542543544545546547548549
String tmp2 = null; TextAreaPeer peer = (TextAreaPeer) getPeer(); if (peer != null) peer.replaceRange(str, start, end); else { tmp1 = getText().substring(0, start); tmp2 = getText().substring(end, getText().length()); setText(tmp1 + str + tmp2);