Open sesuncedu opened 9 years ago
org.protege.editor.owl.ui.renderer.OWLCellRenderer::highlightPropertyIfUnsatisfiable may invoke the invoke the reasoner during layout and during paint, both of which happen on the EDT.
org.protege.editor.owl.ui.renderer.OWLCellRenderer::highlightPropertyIfUnsatisfiable
A possible fix for this is the SecondaryLoop (I think) introduced in Java 7
org.protege.editor.owl.ui.renderer.OWLCellRenderer::highlightPropertyIfUnsatisfiable
may invoke the invoke the reasoner during layout and during paint, both of which happen on the EDT.