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.

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

drracket: disabling tools in edit -> preferences -> tools #308

Open
wharris1 opened this issue Sep 21, 2019 · 3 comments
Open

drracket: disabling tools in edit -> preferences -> tools #308

wharris1 opened this issue Sep 21, 2019 · 3 comments

Comments

@wharris1
Copy link

I opened DrRacket (on a Windows system) and disabled some tools in preference -> tools. On restart, I got a dialog with title DrRacket Internal Error saying

preferences:get: tired to get a preference but not default set for 'test-engine:enable?'.

Pressing okay on the dialog window, just closed it. A black-console window stayed open, but DrRacket wouldn't start. I opened racket-prefs.rktd and removed the line

 (((lib "test-engine") ("test-tool.scm")) skip)

and restarted it. It came back alive. I then disabled all tools and restarted. That worked. So maybe I disabled a tool that another one needed.

@rfindler
Copy link
Member

rfindler commented Sep 21, 2019 via email

@wharris1
Copy link
Author

That's correct. I started the Racket User's thread. Someone asked me to open the issue here, so I did.

@rfindler
Copy link
Member

rfindler commented Sep 21, 2019 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants