Ctr+F based search does not work
LeifAndersen opened this issue · comments
Leif Andersen commented
In previous versions of this tool, when I use DrRacket's built in search mechanism (Ctr+F, or Command+F on OS X) the cursor would move to whatever I searched for.
However, now, the cursor does not move when searching like that.
Asumu Takikawa commented
This is because the augmented after-set-position
doesn't control the cursor position that's drawn anymore. I think this is fixable, but either (A) after-set-position
should also update the vim cursor, but I'm not sure that's always right, or (B) after-set-position
should only update the cursor if it was called due to a set-position
in another part of DrRacket.