- 16 3月, 2020 9 次提交
-
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Miguel Solorio 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Rob Lourens 提交于
Fix #92443
-
由 Martin Aeschlimann 提交于
-
- 14 3月, 2020 13 次提交
-
-
由 Sandeep Somavarapu 提交于
-
由 Matt Bierner 提交于
For #77131 Adds a hook that lets extensions preserve the webview for a custom editor across a rename
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
Delegate to custom editor input on move. Eventually this will be hooked up to go back to extensions
-
由 Matt Bierner 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Martin Aeschlimann 提交于
-
由 Matt Bierner 提交于
Also replaces a weird use of `.bind` that was causing issues with the update. I've tried to refactor the code to preseve the existing behavior
-
由 Daniel Imms 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 isidor 提交于
#83986
-
- 13 3月, 2020 18 次提交
-
-
由 Daniel Imms 提交于
Ideally there would be an integration test as well but currently it's not possible as there's no extension API to activate links within the terminal
-
由 Sandeep Somavarapu 提交于
-
由 Daniel Imms 提交于
Part of #92646
-
由 Daniel Imms 提交于
-
由 Daniel Imms 提交于
-
由 Daniel Imms 提交于
-
由 Daniel Imms 提交于
-
由 Daniel Imms 提交于
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
由 Christof Marti 提交于
-
由 Martin Aeschlimann 提交于
-
由 isidor 提交于
fixes #69768
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
For #92037 Ensures that we can open multiple types of custom editors are opened for the same resource, and that our dirty tracking works as expected in that case (by only marking editors of a given type dirty)
-