320321322323324325326327328329330
*/ @Deprecated public synchronized void insertText(String str, int pos) { TextAreaPeer peer = (TextAreaPeer)this.peer; if (peer != null) { peer.insertText(str, pos); } else { text = text.substring(0, pos) + str + text.substring(pos); } }