Esempio n. 1
0
 // {{{ dispose() method
 @Override
 public void dispose() {
   instance = null;
   EditBus.removeFromBus(this);
   EditBus.removeFromBus(installer);
   super.dispose();
 } // }}}
Esempio n. 2
0
 // {{{ removeNotify() method
 @Override
 public void removeNotify() {
   super.removeNotify();
   EditBus.removeFromBus(this);
   jEdit.setBooleanProperty("hypersearch-results.multi", multiStatus);
 } // }}}
Esempio n. 3
0
 public void removeNotify() {
   logger.info("");
   super.removeNotify();
   EditBus.removeFromBus(this);
 }
Esempio n. 4
0
 void close() {
   saveCaretInfo();
   EditBus.send(new EditPaneUpdate(this, EditPaneUpdate.DESTROYED));
   EditBus.removeFromBus(this);
   textArea.dispose();
 }