Ehab Younes

Hello, I am hoping this can be revived two years later since we are having the same issue at Sigasi. The JSON file contains the URIs of the preprocessed files...

Is this still relevant, it seems the line information was deliberately left out because if you copy the URL from a different branch then the line information might not be...

There are a few ways to detect this based on what counts as an activity (essentially subscribe to most/all `onDid*` events): * `window.onDidChangeActiveTextEditor`/`onDidChangeActiveNotebookEditor`: Users are switching editors * `window.onDidChangeWindowState`: Focus...

We could potentially show this link in the hover or possibly when the latency is above a certain threshold (we can even use a different color/background color to indicate this...

Hello, I’d like to work on this but am curious about which implementation makes more sense: 1. **Use MultiDrag from [SortableJS](https://github.com/SortableJS/Sortable/tree/master/plugins/MultiDrag)** This offers built-in `Shift` + `Click` selection, simplifying selection...

I'm pretty sure that we now monitor the state and show a notification when disconnected 🤔

I personally see this being handled better by the API because we can pass structured JSON and get back JSON as well, making parsing and evaluating results much simpler (this...

Still not ideal since we'd need another system of interceptors and waiting for events based on text output sucks (though I suppose the CLI can exit the process when it's...

> That means this will stop happening, even with strict host key checking enabled. Can we close this issue now? Or is it somehow still happening?

https://github.com/coder/vscode-coder/pull/587 Fixes this for the play button by using memento trickery since there is no clear way of transferring context between different extension runs