Reload the preferences panel after resetting preferences, fixes #168#1213

Merged

gouttegd merged 1 commit intoprotegeproject:masterfrom liveontologies:master

May 28, 2024

+40-29

Commits on May 28, 2024

Reload the preferences panel after resetting preferences, fixes protegeproject#168
ykazakov
committed