João Moreno

Results 22 comments of João Moreno

No current plans, but let me keep that in mind. 👍

@stef-levesque As part of the `TextDocumentContentProvider` interface, you need to ping Code that the original resource has changed, by firing the [`onDidChange`](https://github.com/Microsoft/vscode/blob/5d6b0a5b7208c3c2bf7bb7b248ba81a01766dea4/src/vs/vscode.d.ts#L1353) event. It appears the extension [isn't firing it...

I am very confused. 😆

Hm... we probabaly need an option in the editor in order not to let the context menu overflow the editor space.

@OmarSAlGhamdi Are you still hitting this?

This is very odd and seems very specific to your system, since no other user has reported anything similar. Do every other applications just work on your system? What about...

Using the User Setup, updates will be disabled if Code is launched as an Administrator. You need to launch as your usual user in order to get the background updates,...

@grayerbeard Yeah show us the goods.

Together with @bpasero and @lszomoru, I've spend some time figuring out a way forward for this feature request, assuming you'd consider it. As @bpasero already mentioned, today VS Code matches...

Lovely, great idea! I also like the API suggestion, I feel like that's actually the minimal API change we'd need and stays aligned with today's API. Given that, what do...