Swing/ScrollToReference のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/ScrollToReference へ行く。
  • 1 (2019-10-28 (月) 02:37:07)
  • 2 (2021-05-21 (金) 03:25:24)

• category: swing folder: ScrollToReference title: JEditorPane内のリンク参照位置までスクロールする tags: [JEditorPane, JScrollPane, HTMLDocument, Html] author: aterai pubdate: 2019-10-28T02:33:24+09:00 description: JEditorPaneのHTMLDocument内に配置されたリンクのアンカータグが表示される位置までスクロールします。 image: https://drive.google.com/uc?id=1dnBj5zunBtGVHQ4iD2Kgwqe6IbWCjYSV

概要

JEditorPaneのHTMLDocument内に配置されたリンクのアンカータグが表示される位置までスクロールします。

Screenshot

Download

• Runnable JAR example.jar
• Source code src.zip
• Repository GitHub

サンプルコード

HTMLEditorKit htmlEditorKit = new HTMLEditorKit();
JEditorPane editor = new JEditorPane();
editor.setEditable(false);
editor.setEditorKit(htmlEditorKit);
HTMLDocument doc = (HTMLDocument) editor.getDocument();
String tag = "<a name='%s'>%s</a>";
doc.insertBeforeEnd(element, String.format(tag, ref, ref));

tree.addTreeSelectionListener(e -> {
  Object o = e.getNewLeadSelectionPath().getLastPathComponent();
  if (o instanceof DefaultMutableTreeNode) {
    DefaultMutableTreeNode node = (DefaultMutableTreeNode) o;
    String ref = Objects.toString(node.getUserObject());
    editor.scrollToReference(ref);
  }
});

解説

• JTreeのノードを選択すると、そのノードのUserObjectと一致する<a>アンカータグのname属性をもつリンクをまでJEditorPane#scrollToReference(ref)メソッドを使用してビューをスクロールする
  • id属性やhref属性などを指定してもJEditorPane#scrollToReference(ref)メソッドでは効果がない
• bottomボタンをクリックすると、ドキュメントの末尾に記述した<p id='bottom'>タグが表示される位置までスクロール
  • JEditorPane#scrollToReference(ref)メソッドの実装を参考にして、HTMLElement#getElement(id)メソッドでidがbottomのElementを検索してその位置までJEditorPane#scrollRectToVisible(...)メソッドでスクールするメソッドを作成

private static void scrollToId(JEditorPane editor, String id) {
  Document d = editor.getDocument();
  if (d instanceof HTMLDocument) {
    HTMLDocument doc = (HTMLDocument) d;
    Element element = doc.getElement(id);
    try {
      int pos = element.getStartOffset();
      Rectangle r = editor.modelToView(pos);
      if (r != null) {
        Rectangle vis = editor.getVisibleRect();
        r.height = vis.height;
        editor.scrollRectToVisible(r);
        editor.setCaretPosition(pos);
      }
    } catch (BadLocationException ex) {
      UIManager.getLookAndFeel().provideErrorFeedback(editor);
    }
  }
}

参考リンク

• JEditorPane (Java Platform SE 8)
• JScrollPane内にあるJTableなどで追加した行が可視化されるようにスクロールする
• JTreeとCardLayoutでサイドメニューを作成する

コメント