示例#1
0
 public void dispose() {
   getOWLEditorKit().getWorkspace().unregisterOWLEntityDisplayProvider(provider);
   super.dispose();
 }
示例#2
0
 public void initialise() {
   super.initialise();
   getOWLEditorKit().getWorkspace().registerOWLEntityDisplayProvider(provider);
 }