Highlighter против StyledDocument Java Swing для изменения цвета текста в JTextPane

Я использовал setCharacterAttributes из StyledDocument для изменения цвета определенных слов или разделов в JTextPane.

Но затем я заметил здесь некоторые ответы, где они используют Highlighter (обычно DefaultHighlighter), чтобы сделать то же самое.

Каковы существенные различия между этими двумя подходами? Для каких целей лучше использовать маркер, чем манипулировать StyledDocument?


person Gigatron    schedule 12.03.2012    source источник


Ответы (1)


Основное отличие заключается в смене модели (Документа) в первом случае и смене вида во втором. Если вам нужно просто раскрасить текст (фон или передний план), лучше использовать маркер. Если атрибуты шрифта изменяют размеры, используйте Document.

Также, если вы хотите сохранить некоторый текст со свойствами шрифта, используйте Document.

person StanislavL    schedule 12.03.2012