Add a 'throttle' to the location props.
Add a 'throttle' to the location props.

This is so that the update rate is limited if the user drags and moves the cursor around very quickly.

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean