Open crapthings opened 4 years ago
use appcleaner to remove protege and reinstall works, but it still freeze sometimes.
this look not relate to save file into a deepfolder with many files
https://streamable.com/vws4ay
it looks freeze cause by OWLDOC
@matthewhorridge
use appcleaner to remove protege and reinstall works, but it still freeze sometimes.
this look not relate to save file into a deepfolder with many files
https://streamable.com/vws4ay