Not much change in scrolling speed after disabling the check syntax plugin

That is, it updates something like every 500ms I’d say

An issue along with OS details and a screenshot might be a good thing here! (Sorry I am so late here.)

I’m looking into the DrRacket code, and I’m having trouble finding things. For example, I can’t find much of the text shown in the editor like “Sort by Name” in the keybindings panel. If I grep for “Sort by” I don’t get any results. Could someone point me in the right direction? Where are the default keybindings stored?

Not sure if I understand you correctly, but most “texts” that appears in DrRacket are stored at https://github.com/racket/string-constants

So if you want to find a relevant code, you can grep that repo, find a corresponding symbol key, and grep it in DrRacket code

Great, thank you!

Though if you are focusing on keybinding specifically, there might be a better way, I’m not sure.