From 269900cbe1f517ca9820ab4aa10d24042701fa05 Mon Sep 17 00:00:00 2001 From: David Thompson Date: Thu, 10 Sep 2020 11:48:27 -0400 Subject: [PATCH] Allow globs in `xml.javaExtensions` Paths supplied to `xml.javaExtensions` will be treated as globs. Signed-off-by: David Thompson --- src/plugin.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/plugin.ts b/src/plugin.ts index 08e3bb7f..d7bdc7b5 100644 --- a/src/plugin.ts +++ b/src/plugin.ts @@ -3,6 +3,7 @@ import * as vscode from 'vscode'; import * as path from 'path'; import { Commands } from './commands'; +const glob = require('glob'); let existingExtensions: Array; @@ -15,7 +16,7 @@ export function collectXmlJavaExtensions(extensions: readonly vscode.Extension