Swing/CaretUpdatePolicy のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/CaretUpdatePolicy へ行く。
  • 1 (2016-09-19 (月) 15:53:09)
  • 2 (2017-02-20 (月) 19:40:38)
  • 3 (2017-02-28 (火) 17:51:53)
  • 4 (2017-10-29 (日) 13:48:52)
  • 5 (2018-02-15 (木) 14:23:42)
  • 6 (2019-04-24 (水) 18:51:31)
  • 7 (2021-02-03 (水) 01:13:25)
  • 8 (2024-01-19 (金) 11:10:23)

• category: swing folder: CaretUpdatePolicy title: JTextAreaでドキュメント更新時のCaret移動をテストする tags: [JTextArea, DefaultCaret, JTextComponent, JScrollPane] author: aterai pubdate: 2016-09-19T15:50:56+09:00 description: JTextAreaのドキュメントが更新された時、Caretのアップデートポリシーによって、その位置がどのように移動するかをテストします。 image: https://drive.google.com/uc?export=view&id=1lEAsdjscriBkK232QDUjR95IJEIuxvnTQg

概要

JTextAreaのドキュメントが更新された時、Caretのアップデートポリシーによって、その位置がどのように移動するかをテストします。

Screenshot

Download

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

サンプルコード

((DefaultCaret) ta0.getCaret()).setUpdatePolicy(DefaultCaret.UPDATE_WHEN_ON_EDT); //default
((DefaultCaret) ta1.getCaret()).setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
((DefaultCaret) ta2.getCaret()).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);

解説

• 左: DefaultCaret.UPDATE_WHEN_ON_EDT
  • デフォルト
  • EDT(イベント・ディスパッチ・スレッド)でドキュメントの変更が行われる場合にのみ、Caret位置が更新される
  • このサンプルでは、On EDTがチェックされている場合、SwingWorker#process(...)内でドキュメントが変更される
  • このため、Caretが末尾にあるとその位置が移動するので、左と中のJTextAreaでスクロールが発生する
• 中: DefaultCaret.ALWAYS_UPDATE
  • ドキュメントの更新がEDTで行われるかどうかに関係なく、Caret位置が必ず更新される
  • このサンプルでは、On EDTがチェックされていない場合、SwingWorker#doInBackground(...)内でドキュメントが変更される
  • このため、Caretが末尾にあるとその位置が移動するので、このJTextAreaでのみスクロールが発生する
• 右: DefaultCaret.NEVER_UPDATE
  • ドキュメントが更新されても、ドキュメント内のキャレットの絶対位置は移動しない
    • テキストが削除されて、ドキュメントの長さが現在のキャレット位置よりも短くなる場合は除く

参考リンク

• DefaultCaret (Java Platform SE 8)

コメント