coq / vscoq

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

Correct query panel bug #763

Closed rtetley closed 5 months ago

rtetley commented 5 months ago

When switching from a Locate, About, Check or Print to a Search, the panel would just dump because of a useEffect on the results array. This new guard will prevent trying to get length of an undefined.