coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Use set timeout to fix goal scrolling. #798

Closed rtetley closed 3 months ago

rtetley commented 3 months ago

The fix is not great but it is the one recommended in the official React docs... See here: https://react.dev/reference/react/useEffect and here: https://github.com/reactwg/react-18/discussions/128 Closes #800