Merge pull request #72345 from hedgerh/command-execute-events

onDidExecuteCommand API
This commit is contained in:
Johannes Rieken
2019-07-24 14:45:33 +02:00
committed by GitHub
13 changed files with 76 additions and 6 deletions

View File

@@ -244,7 +244,11 @@ export function createApiFactory(
},
getCommands(filterInternal: boolean = false): Thenable<string[]> {
return extHostCommands.getCommands(filterInternal);
}
},
onDidExecuteCommand: proposedApiFunction(extension, (listener, thisArgs?, disposables?) => {
checkProposedApiEnabled(extension);
return extHostCommands.onDidExecuteCommand(listener, thisArgs, disposables);
}),
};
// namespace: env