xuos
/
IDE_of_ICS
89
0
Fork 3
Code Issues Pull Requests Projects Releases Wiki Activity
IDE_of_ICS/code/extensions/theme-seti
History
Wang_Weigen f5caba8e7b add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
..
build add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
icons add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
.vscodeignore add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
CONTRIBUTING.md add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
README.md add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
ThirdPartyNotices.txt add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
cgmanifest.json add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
package.json add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
package.nls.json add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00
yarn.lock add orginal code for IDE of ICS 2022-09-16 15:11:53 +08:00

README.md

theme-seti

This is an icon theme that uses the icons from seti-ui.

Updating icons

There is script that can be used to update icons, ./build/update-icon-theme.js.

To run this script, run npm run update from the theme-seti directory.

This can be run in one of two ways: looking at a local copy of seti-ui for icons, or getting them straight from GitHub.

If you want to run it from a local copy of seti-ui, first clone seti-ui to the folder next to your vscode repo (from the theme-seti directory, ../../). Then, inside the set-ui directory, run npm install followed by npm run prepublishOnly. This will generate updated icons.

If you want to download the icons straight from GitHub, change the FROM_DISK variable to false inside of update-icon-theme.js.

Languages not shipped with vscode

Languages that are not shipped with vscode must be added to the nonBuiltInLanguages object inside of update-icon-theme.js.

These should match the file mapping in seti-ui.

Please try and keep this list in alphabetical order! Thank you.

Previewing icons

There is a ./icons/preview.html file that can be opened to see all of the icons included in the theme. Note that to view this, it needs to be hosted by a web server.

When updating icons, it is always a good idea to make sure that they work properly by looking at this page. When submitting a PR that updates these icons, a screenshot of the preview page should accompany it.