Revert "remove proposed Logger-api, #43275"

This reverts commit 1c72ab243c.
This commit is contained in:
Johannes Rieken
2018-08-17 11:04:35 +02:00
parent e877248059
commit 315cce8314
5 changed files with 73 additions and 4 deletions

View File

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