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

TODO's are highlighted automatically too often #12

Open
pnwamk opened this issue Mar 10, 2018 · 0 comments
Open

TODO's are highlighted automatically too often #12

pnwamk opened this issue Mar 10, 2018 · 0 comments

Comments

@pnwamk
Copy link
Contributor

pnwamk commented Mar 10, 2018

It makes sense that when you click on a row in the TODO window in DrRacket that the corresponding text in the definitions window is highlighted.

However, DrRacket also automatically highlights TODOs any time the cursor touches them, which is very disorienting when trying to navigate around the definitions window via the keyboard.

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

1 participant