todo-list icon indicating copy to clipboard operation
todo-list copied to clipboard

TODO's are highlighted automatically too often

Open pnwamk opened this issue 6 years ago • 0 comments

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.

pnwamk avatar Mar 10 '18 01:03 pnwamk