know decorations using command links, #29076

This commit is contained in:
Johannes Rieken
2017-08-23 11:49:38 +02:00
parent 001cff3e78
commit 94c4b25a47
5 changed files with 72 additions and 7 deletions

View File

@@ -205,7 +205,7 @@ class HoverAdapter {
// we wanna know which extension uses command links
// because that is a potential trick-attack on users
if (result.contents.some(containsCommandLink)) {
this._telemetryLog('usesCommandLink', { from: 'hover' });
this._telemetryLog('MarkedString/commandLink', { from: 'hover' });
}
return result;
});