Я использовал setCharacterAttributes
из StyledDocument
для изменения цвета определенных слов или разделов в JTextPane
.
Но затем я заметил здесь некоторые ответы, где они используют Highlighter
(обычно DefaultHighlighter
), чтобы сделать то же самое.
Каковы существенные различия между этими двумя подходами? Для каких целей лучше использовать маркер, чем манипулировать StyledDocument?