Drop duplicate code

This commit is contained in:
Pine Wu
2020-01-21 12:29:32 +01:00
parent 73cc9cbae1
commit bcdc8caf20
@@ -61,10 +61,6 @@ export function activate(context: ExtensionContext) {
type: (item.documentation as string) type: (item.documentation as string)
}; };
} }
const range = item.range;
if (range instanceof Range && range.end.isAfter(position) && range.start.isBeforeOrEqual(position)) {
item.range = { inserting: new Range(range.start, position), replacing: range };
}
} }
// testing the new completion // testing the new completion
function updateProposals(r: CompletionItem[] | CompletionList | null | undefined): CompletionItem[] | CompletionList | null | undefined { function updateProposals(r: CompletionItem[] | CompletionList | null | undefined): CompletionItem[] | CompletionList | null | undefined {