From 32a511fb790329c77080b2789670cc5de7e77d0a Mon Sep 17 00:00:00 2001 From: Christopher Wosinski Date: Thu, 23 Aug 2018 15:02:58 +0200 Subject: [PATCH] Activate the plugin on any ini file MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The plugin only works properly for ´.ini´, ´.cfg´ and ´.reg´ files. With these changes it will work for any file being opened with language mode = 'ini' (regardless its file extension). --- src/extension.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/extension.js b/src/extension.js index cdc3a4e..e55d313 100644 --- a/src/extension.js +++ b/src/extension.js @@ -6,12 +6,12 @@ const foldingRangeProvider_1 = require("./foldingRangeProvider.js") function activate(context) { context.subscriptions.push(vscode.languages.registerDocumentSymbolProvider([ - { language: 'ini', pattern: '**/*.{ini,cfg,reg}' }, + { language: 'ini' }, { language: 'ini', scheme: 'untitled' }, ], new documentSymbolProvider_1.IniDocumentSymbolProvider())); context.subscriptions.push(vscode.languages.registerFoldingRangeProvider([ - { language: 'ini', pattern: '**/*.{ini,cfg,reg}' }, + { language: 'ini' }, { language: 'ini', scheme: 'untitled' }, ], new foldingRangeProvider_1.IniFoldingRangeProvider())); } @@ -22,4 +22,4 @@ function deactivate() { } exports.deactivate = deactivate; -//# sourceMappingURL=extension.js.map \ No newline at end of file +//# sourceMappingURL=extension.js.map