- 16 2月, 2020 1 次提交
-
-
由 Matt Bierner 提交于
Move back to using normal vscode dependency for now . We will look into moving off it later
-
- 15 2月, 2020 3 次提交
-
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
Adds contributable commands to timeline items Adds right-aligned timestamp to timeline items Adds Open Changes to Git timeline items Adds Copy Commit ID to Git timeline items Adds Copy Commit Message to Git timeline items
-
由 Eric Amodio 提交于
-
- 14 2月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
-
- 11 2月, 2020 1 次提交
-
-
由 Eric Amodio 提交于
-
- 08 2月, 2020 1 次提交
-
-
由 Matt Bierner 提交于
Fixes #90162 Follow up on b1c5e2f1
-
- 07 2月, 2020 1 次提交
-
-
由 Ian MacFarlane 提交于
When using the git extension, the intent is clear when clicking on "+ Create new branch..." and immediately being prompted "Please provide a branch name". But, when clicking on "+ Create a new branch from..." the intent is ambiguous, since the statement "Please provide a branch name" could refer to the branch from which you wish to base the new branch on or the name of the new branch, the latter being what actually happens. By specifying "Please provide a *new* branch name...", the intent is clear: the prompt is asking for the name you wish to call the new branch.
-
- 06 2月, 2020 3 次提交
-
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
Implements many API review changes Fixes #89558
-
- 05 2月, 2020 8 次提交
-
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Matt Bierner 提交于
**Problem** All of our extensions currently are built using the dom typings. This can lead to runtime errors if you mistakenly use `window` or similar **Fix** Exclude the dom typings from compile. Then explicitly import the node types for `URL` and `TextEncoder`
-
由 Joao Moreno 提交于
-
- 04 2月, 2020 4 次提交
-
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
- 31 1月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
-
- 29 1月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
-
- 28 1月, 2020 6 次提交
-
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
Cleans up API and removes some unused features (e.g. paging) Adds date formatting Adds loading progress and message Removes lots of console.logs
😁 Adds titles to diffs -
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
-
由 Eric Amodio 提交于
-
- 27 1月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
related to #85992
-
- 22 1月, 2020 2 次提交
-
-
由 Joao Moreno 提交于
fixes #88775
-
由 Miguel Solorio 提交于
-
- 21 1月, 2020 3 次提交
-
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-
- 17 1月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
-
- 13 1月, 2020 1 次提交
-
-
由 Joao Moreno 提交于
-
- 06 1月, 2020 1 次提交
-
-
由 sharkykh 提交于
-