vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard
Published 6 years ago • verified publisher icon siegebell

Fix WebSocket error when loading Proof View

Open varkor opened this issue 8 years ago • 3 comments

This fixes #149.

varkor avatar Feb 21 '18 18:02 varkor

@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?

czhang03 avatar May 10 '18 15:05 czhang03

@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.

varkor avatar May 15 '18 22:05 varkor

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.

czhang03 avatar May 16 '18 19:05 czhang03