Skip to content
Snippets Groups Projects

File types fix (titan.language-server#7)

Merged Adam Knapp requested to merge file-types into main
3 files
+ 3
3
Compare changes
  • Side-by-side
  • Inline
Files
3
@@ -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 = {
Loading