Merge from vscode fa77b52b5e2067798006aaff8e463a2b425509d5 (#5453)

This commit is contained in:
Anthony Dresser
2019-05-13 10:57:51 -07:00
committed by GitHub
parent 34eef8e97d
commit 43293b98c0
15 changed files with 338 additions and 307 deletions

View File

@@ -150,6 +150,11 @@ export const tocData: ITOCEntry = {
label: localize('terminal', "Terminal"),
settings: ['terminal.*']
},
{
id: 'features/tasks',
label: localize('tasks', "Tasks"),
settings: ['tasks.*']
},
{
id: 'features/problems',
label: localize('problems', "Problems"),