Revert "Revert "remove proposed Logger-api, #43275""

This reverts commit 315cce8314.
This commit is contained in:
Johannes Rieken
2018-08-20 15:31:33 +02:00
parent 4bf5813f79
commit 66205890dd
5 changed files with 4 additions and 73 deletions

View File

@@ -227,7 +227,10 @@ export function createApiFactory(
get language() { return platform.language; },
get appName() { return product.nameLong; },
get appRoot() { return initData.environment.appRoot; },
get logLevel() { return extHostLogService.getLevel(); }
get logLevel() {
checkProposedApiEnabled(extension);
return extHostLogService.getLevel();
}
});
// namespace: extensions