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);
}
public void deinstall(JEditorPane pane) {
if (Settings.debug) System.err.println("Deinstalling kit from pane");
panes.remove(pane);
delegate.deinstall(pane);
}
