我不知道如何JEditorPane.scrollToReference()
与动态生成的 HTML 页面一起使用。我想打开一个带有滚动到我选择的锚点的 JEditorPane 的对话框。无论我如何处理问题,视图总是在页面底部滚动。
作为一个丑陋的解决方法,我目前解析整个 HTML 文档的锚标记,将它们的偏移量保存在 aMap<String, Integer>
中,然后我调用:
editorPane.setCaretPosition(anchorMap.get("anchor-name"));
...这甚至不会产生有吸引力的结果,因为可见矩形内的插入符号位置似乎是不可预测的,并且很少位于窗口的顶部。我正在寻找一种更像浏览器的行为,其中锚定文本出现在可见区域的顶部。
下面是我尴尬的解决方法的屏幕截图(“标题 6”上有一个锚点),没有触摸滚动条:
我想我错过了一些东西,但我无法弄清楚到底是什么。
我当前解决方法的来源:
import javax.swing.*;
import javax.swing.text.MutableAttributeSet;
import javax.swing.text.html.*;
import javax.swing.text.html.HTMLEditorKit.*;
import javax.swing.text.html.parser.*;
import java.io.*;
import java.awt.*;
import java.util.HashMap;
public class AnchorTest
{
public static void main(String[] args)
{
final String html = generateLongPage();
final HashMap<String, Integer> anchors = anchorPositions(html);
SwingUtilities.invokeLater(new Runnable()
{
public void run()
{
JEditorPane editor = new JEditorPane("text/html", html);
JScrollPane scroller= new JScrollPane(editor);
scroller.setPreferredSize(new Dimension(400, 250));
//editor.scrollToReference("anchor6"); // doesn't work...
editor.setCaretPosition(anchors.get("anchor6")); //sorta works
JOptionPane.showMessageDialog(new JPanel(), scroller, "",
JOptionPane.PLAIN_MESSAGE);
}});
}
public static HashMap<String, Integer> anchorPositions(String html)
{
final HashMap<String, Integer> map = new HashMap<String, Integer>();
Reader reader = new StringReader(html);
HTMLEditorKit.Parser parser = new ParserDelegator();
try
{
ParserCallback cb = new ParserCallback()
{
public void handleStartTag(HTML.Tag t,
MutableAttributeSet a,
int pos)
{
if (t == HTML.Tag.A) {
String name =
(String)a.getAttribute(HTML.Attribute.NAME);
map.put(name, pos);
}
}
};
parser.parse(reader, cb, true);
}
catch (IOException ignore) {}
return map;
}
public static String generateLongPage()
{
StringBuilder sb = new StringBuilder(
"<html><head><title>hello</title></head><body>\n");
for (int i = 0; i < 10; i++) {
sb.append(String.format(
"<h1><a name='anchor%d'>header %d</a></h1>\n<p>", i, i));
for (int j = 0; j < 100; j++) {
sb.append("blah ");
}
sb.append("</p>\n\n");
}
return sb.append("</body></html>").toString();
}
}