protege
protege copied to clipboard
"Delete descendants" setting doesn't work after restart
I deleted "HKEY_CURRENT_USER\Software\JavaSoft\Prefs" registry key (optionally, make a backup) and ran Protege to reset its settings. Then I added superclass and subclass, deleted the first, unchecked "Always show this confirmation" box and ticked "Delete
After all of these steps I went to registry and found this:
[HKEY_CURRENT_USER\Software\JavaSoft\Prefs\/P/R/O/T/E/G/E_/P/R/E/F/E/R/E/N/C/E/S\application_preferences\delete.preferences]
"delete.descendants"="true"
"delete.confirm.descendants"="false"
"delete.confirm.always"="false"
If I manually edit "delete.confirm.descendants" from "false" to "true", It works until I restart Protege.
Protege 5.5.0 JDK 18 0.0.1 (javac 11.0.16) Windows 10 x64