Revert "Updates to the latest icon theme from seti-ui"

This reverts commit b24d67b5fb.
pull/77755/head
Martin Aeschlimann 2019-07-09 09:42:11 +02:00
parent e01e4f92ee
commit c615eb8591
4 changed files with 256 additions and 395 deletions

View File

@ -10,7 +10,7 @@ let fs = require('fs');
let https = require('https');
let url = require('url');
// list of languages which are not shipped with VSCode. The information is used to associate an icon with a language association
// list of languagesIs not shipped with VSCode. The information is used to associate an icon with a langauge association
let nonBuiltInLanguages = { // { fileNames, extensions }
"r": { extensions: ['r', 'rhistory', 'rprofile', 'rt'] },
"argdown": { extensions: ['ad', 'adown', 'argdown', 'argdn'] },
@ -35,8 +35,7 @@ let nonBuiltInLanguages = { // { fileNames, extensions }
"todo": { fileNames: ['todo'] }
};
// If true, use `node build/update-icon-theme.js` from the theme-seti folder
let FROM_DISK = true; // set to true to take content from a repo checked out next to the vscode repo
let FROM_DISK = false; // set to true to take content from a repo checkedout next to the vscode repo
let font, fontMappingsFile, fileAssociationFile, colorsFile;
if (!FROM_DISK) {

View File

@ -6,7 +6,7 @@
"git": {
"name": "seti-ui",
"repositoryUrl": "https://github.com/jesseweed/seti-ui",
"commitHash": "59ef8c31d9a0c3cef688278c20c6c1c6a84db221"
"commitHash": "89175d7f9e0c70cd325b80a18a3c77fc8eb7c798"
}
},
"version": "0.1.0"

File diff suppressed because it is too large Load Diff