- 11 12月, 2018 2 次提交
- 07 12月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
-
- 03 12月, 2018 1 次提交
-
-
由 Matt Bierner 提交于
These typing errors were hidden by us previously using `any`
-
- 25 10月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
-
- 19 10月, 2018 2 次提交
- 17 10月, 2018 2 次提交
-
-
由 Alex Ross 提交于
Adds a new setting: `terminal.integrated.splitCwd` With these options: `workspaceRoot`, `sourceInitialCwd`, `sourceCwd` `workspaceRoot`is the existing behavior. The new split terminal's cwd will be the workspace root. `sourceInitialCwd` uses the 'parent' terminals initial cwd for the new terminal. `sourceCwd` on macOS and Linux this gets the cwd of the 'parent' terminal and uses that as the cwd for the new split terminal. Default setting is to keep the existing behavior with `workspaceRoot` Fixes #48447
-
由 Daniel Imms 提交于
-
- 16 10月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Part of #60768
-
- 14 10月, 2018 3 次提交
-
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
- 13 10月, 2018 1 次提交
-
-
由 Benjamin Pasero 提交于
-
- 12 10月, 2018 1 次提交
-
-
由 Benjamin Pasero 提交于
-
- 09 10月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #60155
-
- 02 10月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Part of #53526
-
- 25 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Fixes #36897
-
- 22 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Wait to signal to the extHostTerminalService that the terminal is opened until the terminal has a name. (#58983) Also added a change listener for title. Fixes #53057
-
- 18 9月, 2018 1 次提交
-
-
由 Alex Ross 提交于
Added find options checkboxes to terminal find widget with keybindings and hooked the buttons up to use the new xterm.js find api. Fixes #58826
-
- 11 9月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #58256
-
- 30 8月, 2018 2 次提交
-
-
由 Daniel Imms 提交于
Fixes #56217
-
由 Daniel Imms 提交于
This reverts commit 1f7ce421.
-
- 28 8月, 2018 3 次提交
-
-
由 Benjamin Pasero 提交于
This reverts commit 95c0e072.
-
由 Daniel Imms 提交于
Fixes #56217
-
由 Daniel Imms 提交于
Fixes #57271
-
- 24 8月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #48136
-
- 10 8月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #56058
-
- 07 8月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
The default and only option is now dynamic Fixes #54907
-
- 30 7月, 2018 2 次提交
-
-
由 Daniel Imms 提交于
Part of #53274 Fixes #55344
-
由 Daniel Imms 提交于
Part of #53274 Fixes #55344
-
- 24 7月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #54949
-
- 20 7月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #54230
-
- 07 7月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #51479
-
- 03 7月, 2018 3 次提交
-
-
由 Johannes Rieken 提交于
-
由 Daniel Imms 提交于
Fixes #37103
-
由 Daniel Imms 提交于
-
- 28 6月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #52916
-
- 26 6月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
Fixes #29670
-
- 20 6月, 2018 1 次提交
-
-
由 Daniel Imms 提交于
-