DefaultHighlightPainter 在 JTextPane 中不断移动
DefaultHighlightPainter keeps shifting in JTextPane
我目前正在开发一个读取大文本并突出显示该文本中的特定子字符串的应用程序。它有点管用...
但似乎(我不知道为什么)每次突出显示字符串时,突出显示都会不断移动。
public List<int[]> findString(String text) {
text = text.toLowerCase();
List<int[]> highlightPositions = new ArrayList<int[]>();
JTextPane pane = getTextPane();
String paneText = pane.getText().toLowerCase();
int end = 0;
while (paneText.indexOf(text, end) != -1) {
int start = paneText.indexOf(text, end);
end = start + text.length();
highlightPositions.add(new int[] {start, end});
}
try {
highlight(highlightPositions);
} catch (Exception ex) {
}
return null;
}
这是执行实际突出显示的代码
public void highlight(List<int[]> highlightPositions) throws BadLocationException {
DefaultHighlighter.DefaultHighlightPainter highlightPainter = new DefaultHighlighter.DefaultHighlightPainter(Color.YELLOW);
JTextPane textPane = getTextPane();
for (int[] position : highlightPositions) {
System.out.println("Highlight: " + position[0] + " : " + position[1]);
textPane.getHighlighter().addHighlight(position[0], position[1], highlightPainter);
}
}
有人知道如何解决这个问题吗?
编辑:
这是我尝试突出显示单词 "Device".
时的样子
String paneText = pane.getText().toLowerCase();
不要使用 getText()
。 getText()
方法将 return 带有平台行尾字符串的字符串,在 Windows 的情况下是 \r\n
。但是,文档只为 EOL 字符串存储 \n
,因此文档中每个额外行的偏移量都不匹配。
解决方案是使用:
String paneText = pane.getDocument().getText().toLowerCase();
有关此问题的更完整信息,请参阅 Text and New Lines。
我目前正在开发一个读取大文本并突出显示该文本中的特定子字符串的应用程序。它有点管用...
但似乎(我不知道为什么)每次突出显示字符串时,突出显示都会不断移动。
public List<int[]> findString(String text) {
text = text.toLowerCase();
List<int[]> highlightPositions = new ArrayList<int[]>();
JTextPane pane = getTextPane();
String paneText = pane.getText().toLowerCase();
int end = 0;
while (paneText.indexOf(text, end) != -1) {
int start = paneText.indexOf(text, end);
end = start + text.length();
highlightPositions.add(new int[] {start, end});
}
try {
highlight(highlightPositions);
} catch (Exception ex) {
}
return null;
}
这是执行实际突出显示的代码
public void highlight(List<int[]> highlightPositions) throws BadLocationException {
DefaultHighlighter.DefaultHighlightPainter highlightPainter = new DefaultHighlighter.DefaultHighlightPainter(Color.YELLOW);
JTextPane textPane = getTextPane();
for (int[] position : highlightPositions) {
System.out.println("Highlight: " + position[0] + " : " + position[1]);
textPane.getHighlighter().addHighlight(position[0], position[1], highlightPainter);
}
}
有人知道如何解决这个问题吗?
编辑: 这是我尝试突出显示单词 "Device".
时的样子String paneText = pane.getText().toLowerCase();
不要使用 getText()
。 getText()
方法将 return 带有平台行尾字符串的字符串,在 Windows 的情况下是 \r\n
。但是,文档只为 EOL 字符串存储 \n
,因此文档中每个额外行的偏移量都不匹配。
解决方案是使用:
String paneText = pane.getDocument().getText().toLowerCase();
有关此问题的更完整信息,请参阅 Text and New Lines。