Various Lint Issues

[mlshort]

This is an effort to share some of the Lint issues encountered and local fixes made to address.

1. Extra instruction as follows:

FrontEndUtils.tx(250): const info = backend.getContextDetails(document.fileName); 1;

[mlshort]

2. change of String -> string in the following:

WebviewProvider.ts(32):

export class WebviewProvider { protected currentRule: string | undefined; protected currentRuleIndex: number | undefined;

// Keep track of all created panels, to avoid duplicates.
private webViewMap = new Map<**String**, [WebviewPanel, IWebviewShowOptions]>();

[mike-lischke]

You could create a PR with linter fixes ¯_(ツ)_/¯

[mlshort]

You are correct.

Was not sure you wanted me working directly on your code or not.

:)

[mlshort]

Ok, I have all of the lint errors addressed locally. Only some warnings remain. Will do a PR for your review.

[mike-lischke]

Addressed by commit 51dacf6