From 13c92ec06e6eabb7a30ec0a78b11fe99a0118ca3 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Wed, 15 Jun 2016 22:11:50 +0200 Subject: [PATCH] Linux "desktop entries" (.desktop) aren't colored very well by ini language. Fixes #7155 --- extensions/ini/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/ini/package.json b/extensions/ini/package.json index 882bb0c2325..14d80776a12 100644 --- a/extensions/ini/package.json +++ b/extensions/ini/package.json @@ -6,7 +6,7 @@ "contributes": { "languages": [{ "id": "ini", - "extensions": [ ".desktop", ".ini", ".properties", ".gitconfig" ], + "extensions": [ ".ini", ".properties", ".gitconfig" ], "filenames": ["config", ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig"], "aliases": [ "Ini", "ini" ], "configuration": "./ini.configuration.json"