Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reset preferences does not update the preferences window #168

Closed
ykazakov opened this issue Mar 19, 2015 · 3 comments · Fixed by #1213
Closed

Reset preferences does not update the preferences window #168

ykazakov opened this issue Mar 19, 2015 · 3 comments · Fixed by #1213

Comments

@ykazakov
Copy link
Contributor

Go to Preferences > Reasoner
make some changes in Displayed Inferences
press "Reset preferences..", press yes
nothing changes

tested v. 5.0.0-beta-17 on mac os x 10.10.2
@matthewhorridge
Copy link
Contributor

Verified. Thanks for the bug report.

@matthewhorridge
Copy link
Contributor

This is all the prefs by the way. The reset button resets everything (at least in the background).

@ykazakov
Copy link
Contributor Author

On Thu, Mar 19, 2015 at 6:26 PM, Matthew Horridge [email protected]
wrote:

This is all the prefs by the way. The reset button resets everything (at
least in the background).

I see. Confirmed: if I close and reopen the preferences, the values will
set be default. So I guess its just a problem of refreshing the UI.

—
Reply to this email directly or view it on GitHub
#168 (comment)
.

@ykazakov ykazakov changed the title Reset reasoner preferences does not do anything Reset preferences does not update the preferences window Sep 1, 2017
@ykazakov ykazakov mentioned this issue May 27, 2024
Merged
ykazakov added a commit to liveontologies/protege that referenced this issue May 28, 2024
@ykazakov
Reload the preferences panel after resetting preferences, fixes prote…
42e5252 
…geproject#168
@ykazakov ykazakov mentioned this issue May 28, 2024
Merged
gouttegd added a commit that referenced this issue May 28, 2024
@gouttegd
Merge pull request #1213 from liveontologies/master
ee5bcc4 
Reload the preferences panel after resetting preferences, fixes #168
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Reload the preferences panel after resetting preferences, fixes #168 liveontologies/protege
2 participants
@matthewhorridge @ykazakov