Ryan Vandersmith

After talking with the design team, we decided to use the same icon as on [internetcomputer.org](https://internetcomputer.org/) (without the original thin lines). I've updated the PR, and here is the corresponding...

@adamrusted, just quickly checking back in. Does this work for you?

Updated PR: - https://github.com/sindresorhus/awesome/pull/2525

Does this still happen when autosave is turned off? This looks like a bug with the type checking debounce logic (rather than purely a performance issue), so it'll be helpful...

Thanks for checking. Are there any public projects which I could use to fully recreate the issue on my end? For some context, large projects with > 100 files used...

Thanks! I will increase the priority of further optimizations (currently representing DFINITY at ETHDenver, so I'll most likely take another look at this after March 5). If anyone reading this...

Version `0.13.11` of the extension includes several bugfixes and improvements to address this issue. I'll leave this issue open for a bit; if you notice a difference (or lack thereof)...

Progress: - Implemented error reporting in Motoko files from a sandboxed Viper LSP - Added syntax highlighting for the `invariant` and `implies` keywords - Included a "view in context" button...

> While installing the extension from this branch, I've experienced the following minor hick-ups: Fixed; thanks!

> Pre-release is described here: https://code.visualstudio.com/api/working-with-extensions/publishing-extension#prerelease-extensions It's possible to switch to 4.x by selecting "Viper" in the Extensions panel and then clicking "Switch to Pre-Release Version" (screenshot for clarity): I've...