Convert TerminalLink.length to endIndex

Aligns more with other APIs

Part of #91290
This commit is contained in:
Daniel Imms
2020-06-24 06:10:29 -07:00
parent 756aebf0fc
commit 48ce8ecce7
2 changed files with 5 additions and 4 deletions

View File

@@ -625,10 +625,11 @@ export abstract class BaseExtHostTerminalService implements IExtHostTerminalServ
for (const provideResult of provideResults) {
if (provideResult && provideResult.links.length > 0) {
result.push(...provideResult.links.map(providerLink => {
const endIndex = Math.max(providerLink.endIndex, providerLink.startIndex + 1);
const link = {
id: nextLinkId++,
startIndex: providerLink.startIndex,
length: providerLink.length,
length: endIndex - providerLink.startIndex,
label: providerLink.tooltip
};
cacheLinkMap.set(link.id, {