- 24 1月, 2017 11 次提交
-
-
由 Daniel Imms 提交于
This may turn into an enum or change behavior soon pending on the result of task-terminal integration. Removing from the API until more thought has been put into it. Part of #15583 Part of #18661
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
Move configuring language based settings to preferences and expose it as an API from preferences service
-
由 Christof Marti 提交于
-
由 Johannes Rieken 提交于
-
由 Johannes Rieken 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Christof Marti 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Johannes Rieken 提交于
-
- 23 1月, 2017 29 次提交
-
-
由 Alexandru Dima 提交于
Fix for #16771.
-
由 Alexandru Dima 提交于
Support undo and redo in input fields (fixes #151)
-
由 Alexandru Dima 提交于
Add Markdown Preview to Editor Scroll Syncronization
-
由 Alexandru Dima 提交于
Reindent all lines
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Alex Dima 提交于
-
由 Alex Dima 提交于
-
由 isidor 提交于
fixes #18853
-
由 Johannes Rieken 提交于
Use named pipes to talk to extension host
-
由 Martin Aeschlimann 提交于
-
由 Johannes Rieken 提交于
-
由 Martin Aeschlimann 提交于
#9003 Provide temporary option to disable the built-in PHP completion provider
-
由 isidor 提交于
fixes #18937 fixes #18942
-
由 Johannes Rieken 提交于
-
由 Dirk Baeumer 提交于
-
由 Johannes Rieken 提交于
-
由 Alex Dima 提交于
-
由 Johannes Rieken 提交于
-
由 Andre Weinand 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Sandeep Somavarapu 提交于
-
由 Dirk Baeumer 提交于
-
由 Dirk Baeumer 提交于
-
由 Benjamin Pasero 提交于
-
由 Joao Moreno 提交于
related to #18147
-