Поиск фрагмента текста

Установка шрифта для текста

public class lab13

{

JFrame form;

JScrollPane js;

JTextPane je;

String FontList[]; // списокдоступныхшрифтов

Font fn; // устанавливаемыйшрифт

..............

je.setEditable(true);

je.setText("12345");

GraphicsEnvironment ge =

GraphicsEnvironment.getLocalGraphicsEnvironment();

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

FontList=ge.getAvailableFontFamilyNames(); // Agency FB, Aharoni, Andalus,...

// созданиеновогошрифта

fn=new Font("Arial",Font.ITALIC,14);

je.setFont(fn); // задание шрифта

form. show ();

.................

je.setText("12345");

int k;

k=je.getText().indexOf("23"); // k=1