private void updateEditorKit(final EditorKit kit) {
if (editorKit != null) {
editorKit.deinstall(this);
}
EditorKit oldEditorKit = editorKit;
if (kit != null) {
kit.install(this);
}
editorKit = kit;
firePropertyChange("editorKit", oldEditorKit, kit);
}
// Here's where the font is set on the editor pane, and we also keep
// track of the panes in use for future font updates.
public void install(JEditorPane pane) {
if (Settings.debug) System.err.println("Installing kit into pane");
delegate.install(pane);
panes.add(pane);
pane.setFont(Settings.font);
}