- 23 10月, 2019 22 次提交
-
-
由 Pine Wu 提交于
-
-
由 Martin Aeschlimann 提交于
-
由 Pine Wu 提交于
-
由 Daniel Imms 提交于
-
由 Daniel Imms 提交于
Add paste option on right click for terminal
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
-
由 Matt Bierner 提交于
-
由 Daniel Imms 提交于
-
由 Pine Wu 提交于
-
由 Matt Bierner 提交于
Fixes #81824 The history service currently drops any editor input that are not `FileEditorInput`. This does not work for custom editors, which are always backed by a resource but do not subclass `FileEditorInput` The fix here is to create history entries for any input that has a resource that is backed by the file-service
-
由 Daniel Imms 提交于
Upgrading from node-pty@0.9.0-beta19
-
由 kieferrm 提交于
-
由 Daniel Imms 提交于
Part of #81574
-
由 Miguel Solorio 提交于
-
由 Miguel Solorio 提交于
-
由 Alex Ross 提交于
-
由 Miguel Solorio 提交于
-
由 Daniel Imms 提交于
This keybinding wasn't needed as regular pastes pass through, but not having a keybindings means no shortcut in context menu or command palette. Fixes #83002
-
由 Miguel Solorio 提交于
Allow theme to change color of progress icon
-
由 Alex Ross 提交于
-
- 22 10月, 2019 18 次提交
-
-
由 Miguel Solorio 提交于
-
由 Alex Ross 提交于
Still need to make this based oon start up time, but default should be longer
-
由 Benjamin Pasero 提交于
-
由 Alex Ross 提交于
Fixes #80375
-
-
由 Andre Weinand 提交于
-
由 Miguel Solorio 提交于
Adopt icon font in outline/breadcrumbs/suggest widget
-
由 Miguel Solorio 提交于
-
-
由 isidor 提交于
-
由 Joao Moreno 提交于
-
由 Alex Ross 提交于
Fixes #69785
-
由 Joao Moreno 提交于
-
-
由 Alex Ross 提交于
Fixes #69785
-
由 Joao Moreno 提交于
-
由 João Moreno 提交于
CI Builds with GitHub Actions
-
由 Johannes Rieken 提交于
-