Fix WebSocket error when loading Proof View

siegebell / vscoq

Coq Support for Visual Studio Code

MIT License

92 stars 9 forks source link

Fix WebSocket error when loading Proof View #151

Open varkor opened 6 years ago

varkor commented 6 years ago

This fixes #149.

czhang03 commented 6 years ago

@varkor seems like @siegebell is really busy.

No offense to Dr. @siegebell, Is it possible that you, @varkor, can create a fork of this plugin and develop on your own fork?

varkor commented 6 years ago

@chantisnake: it does seem unlikely that this branch will be updated in the near future. I might consider forking the plugin, though I don't have time right now: I'd want to make sure I could commit to supporting a new plugin. However, if someone else was willing to start one, I'd be happy to contribute my patches to the new version.

czhang03 commented 6 years ago

I want to start one, but I really cannot make any promises, since I am starting PhD this September. I don't know what to expect.