development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-10-30 11:10:48 +00:00
Code Issues Projects Releases Packages Wiki Activity
vscode/extensions/theme-seti
History
Martin Aeschlimann ae8cf2186e
The properties language uses a Java icon in the Seti theme (#161770) 
The properties language uses a Java icon in the Seti theme. Fixes #158453
2022-09-26 07:31:08 -07:00
..
build The properties language uses a Java icon in the Seti theme (#161770) 2022-09-26 07:31:08 -07:00
icons The properties language uses a Java icon in the Seti theme (#161770) 2022-09-26 07:31:08 -07:00
.vscodeignore seti: use CONTRIBUTING 2021-03-01 17:14:58 +01:00
cgmanifest.json Default to config icon for the property language (#158454) 2022-09-26 07:00:07 -07:00
CONTRIBUTING.md update seti contribution guide 2021-05-11 17:58:26 +02:00
package.json
package.nls.json
README.md
ThirdPartyNotices.txt
yarn.lock

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.