Esempio n. 1
0
 public void dispose() {
   getOWLEditorKit().getWorkspace().unregisterOWLEntityDisplayProvider(provider);
   super.dispose();
 }
Esempio n. 2
0
 public void initialise() {
   super.initialise();
   getOWLEditorKit().getWorkspace().registerOWLEntityDisplayProvider(provider);
 }