Java - Изменить шрифт в JTextPane, содержащем HTML

У меня есть JTextPane, и у меня есть текст внутри этой JTextPane. Однако, поскольку я использовал HTML на панели, кажется, что текст был автоматически изменен на Times New Roman.

Я пытаюсь установить тип шрифта в JTextPane на шрифт по умолчанию графического интерфейса (шрифт JTextPane, если это не HTML). Однако я не могу просто установить шрифт на один шрифт, потому что он отличается от операционной системы, поэтому я хочу найти способ получить шрифт по умолчанию, а затем изменить текст, который у меня есть, на шрифт по умолчанию.

Чтобы продемонстрировать, как текст заменяется на Times New Roman при преобразовании, я использовал следующий код. Как я мог изменить его, чтобы достичь своей цели?

import javax.swing.JFrame;
import javax.swing.JTextPane;


public class GUIExample {

    public static void main(String[] args) {

        JFrame frame = new JFrame("My App");
        frame.setSize(300,300);
        JTextPane pane = new JTextPane();
        pane.setContentType("text/html");
        pane.setText("<html><b>This is some text!</b></html>");
        frame.add(pane);

        frame.setVisible(true);

    }

}

Спасибо!

9
задан mino 17 February 2012 в 21:23
поделиться