Reload the preferences panel after resetting preferences, fixes #168

protegeproject / protege

Protege Desktop

http://protege.stanford.edu

Other

1.01k stars 231 forks source link

Closed ykazakov closed 4 months ago

ykazakov commented 4 months ago

This PR fixes #168, also found mentioned in the discussion of PR #1059.

gouttegd commented 4 months ago

Merged, thanks!