Установка другого шрифта на фрагменте текста

Дополнительные возможности richtext.

Добавка, удаление фрагментов текста.

Выделение фрагмента текста.

je.setText("12345");

je.select(1, 3); // начало с нуля, конец с нуля

String s;

s=je.getSelectedText(); // s=”23”

Выполняется через setText

je.setText("12345");

String s;

s=je.getText();

s=s+"\nqwerty";

je.setText(s);

je.setText("12345");

String s;

s=je.getText();

s=s+"\nqwerty";

je.setText(s);

StyledDocument sd;

sd=je.getStyledDocument();

SimpleAttributeSet aset = new SimpleAttributeSet();

StyleConstants.setFontSize(aset, 18); // размер шрифта

StyleConstants.setBold(aset, true); // полужирный

GraphicsEnvironment ge =

GraphicsEnvironment.getLocalGraphicsEnvironment();

// списокдоступныхшрифтов

FontList=ge.getAvailableFontFamilyNames(); // список шрифтов для выбора

StyleConstants.setFontFamily(aset, "Century Schoolbook");

sd.setCharacterAttributes(1, 3, aset, true); // true – заменить все

......