Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/gwt/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java 将文本插入gwt textarea中的特定位置_Java_Gwt_Textarea - Fatal编程技术网

Java 将文本插入gwt textarea中的特定位置

Java 将文本插入gwt textarea中的特定位置,java,gwt,textarea,Java,Gwt,Textarea,在传统的JavaJTextArea中,我们使用insert(字符串值,int position)方法在特定位置插入文本。但是我在gwt等价物中找不到相同的功能。 我可以把整个字符串插入我想要的地方,然后将结果设置回文本区域,但是每次都将整个文本取出并设置回文本区域似乎不是很有效。有没有办法在我选择的位置插入文本?您可以使用Formatter在当前光标位置插入HTML RichTextArea.Formatter formatter = myRichTextArea.getFormatte

在传统的JavaJTextArea中,我们使用
insert(字符串值,int position)
方法在特定位置插入文本。但是我在gwt等价物中找不到相同的功能。


我可以把整个字符串插入我想要的地方,然后将结果设置回文本区域,但是每次都将整个文本取出并设置回文本区域似乎不是很有效。有没有办法在我选择的位置插入文本?

您可以使用Formatter在当前光标位置插入HTML

    RichTextArea.Formatter formatter = myRichTextArea.getFormatter();
    formatter.insertHTML(html);

如果需要其他位置,您仍然需要将文本添加到字符串中并替换TextArea内容。我认为用户甚至不会注意到这一点——它发生得非常快。

Woomma。。我们的Gwt老师遇到了所有这些令人头疼的问题,并为我们建立了一些儿童图书馆

我坚信你正在寻找这个,并希望它将有助于你

您只需将这个小方法添加到类中,并作为

  String returnedString =  replace(text, searchString, replacement, -1);
每次来到您的
更换问题。。。到目前为止,我们没有其他选择