Optimize file decoration when tpd is activated (issue #5)

Signed-off-by: Csilla Farkas csilla.farkas@sigmatechnology.com

src/window/WindowEventManager.ts

@@ -32,7 +32,7 @@ const windowEventHandlers = {
    sendRequestForDocumentComment: (event: TextEditorSelectionChangeEvent) => {
        cursorTimer.clearTimer();
        const { textEditor, selections, kind } = event;
-       const supportedFileTypes = ['ttcn', 'ttcnpp', 'asn1'];
+       const supportedFileTypes = ['asn', 'asn1', 'ttcn', 'ttcn3', 'ttcnpp', 'ttcnin'];
        if(selections.length > 1 || !supportedFileTypes.includes(textEditor.document.languageId)) {return;}
        const cursorPosition = selections[0].active;
        const requestParams = {