- 01 7月, 2020 40 次提交
-
-
由 isidor 提交于
-
由 isidor 提交于
#100235
-
由 isidor 提交于
-
由 João Moreno 提交于
-
由 João Moreno 提交于
cc @roblourens for changes in settings
-
由 João Moreno 提交于
-
由 João Moreno 提交于
-
-
由 João Moreno 提交于
-
由 João Moreno 提交于
-
由 Martin Aeschlimann 提交于
-
由 João Moreno 提交于
-
-
由 João Moreno 提交于
-
由 João Moreno 提交于
-
由 Benjamin Pasero 提交于
-
-
由 João Moreno 提交于
-
-
由 João Moreno 提交于
-
由 João Moreno 提交于
-
由 Rob Lourens 提交于
-
由 Rob Lourens 提交于
-
由 rebornix 提交于
-
由 rebornix 提交于
-
由 rebornix 提交于
-
由 Rob Lourens 提交于
Fix #101461
-
由 rebornix 提交于
-
由 Matt Bierner 提交于
Fixes #100238 For cases where an extension explicitly requests that a given editor be used, such as `openWith`, `getEditorOverrides` would not always include the requested editor in its returned values. This change fixes that by making `getEditorOverrides` take an optional `id`. Providers can look at this id to determine if they should return a specific editor override even it it does not match the resource
-
由 rebornix 提交于
-
由 SteVen Batten 提交于
-
由 rebornix 提交于
-
由 rebornix 提交于
-
由 rebornix 提交于
-
由 Miguel Solorio 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Miguel Solorio 提交于
-
由 Miguel Solorio 提交于
-