我在 JScrollPane 中有一个 JEditoPane。我有一些包含一些预定义标记的文本内容。我将这些令牌的位置存储在数据库中。当我将文本内容设置到 JEditorPane 中时,我使用 HTML 嵌入了标记。我还添加了 HTML 换行符来格式化内容。
现在,当我想滚动到突出显示的标记之一时,问题就来了。使用 setCaretPosition(int) 时,我存储在数据库中的标记的起始位置似乎不匹配。我知道这可能是因为我在 JEditorPane Document 中的内容与 HTML 混合在一起。
那么有没有办法在 JEditorPane 内容中搜索字符串,然后以某种方式获取找到该字符串的插入符号位置?