search

siegebell / vscoq

Coq Support for Visual Studio Code
MIT License
92 stars 9 forks source link

Quickly clicking "Refresh" causes a WebSocket error to flash up #149

Open varkor opened 6 years ago

varkor commented 6 years ago

This isn't a serious problem, as the error soon vanishes, but it'd be nicer if it weren't displayed at all.