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