workaround to avoid the double-open problem: set the priority to 'opt…

…ion'
CatalaLang · Dec 2, 2024 · c84aaf1 · c84aaf1
1 parent 54365a0
commit c84aaf1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/package.json b/package.json
@@ -46,7 +46,8 @@
           {
             "filenamePattern": "*test*.catala_*"
           }
-        ]
+        ],
+        "priority": "option"
       }
     ],
     "languages": [