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);
 }
Beispiel #2
0
 // 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);
 }