Update to latest Seti for search editor icon.

Fixes 89480.
2024-10-05 19:02:54 +00:00 · 2020-01-30 10:14:46 -08:00 · 2020-01-30 10:14:46 -08:00 · 1b0dce4548
parent 9a201aa084
commit 1b0dce4548
3 changed files with 309 additions and 299 deletions
--- a/extensions/theme-seti/cgmanifest.json
+++ b/extensions/theme-seti/cgmanifest.json
@ -6,7 +6,7 @@
 				"git": {
 					"name": "seti-ui",
 					"repositoryUrl": "https://github.com/jesseweed/seti-ui",
-					"commitHash": "85a222708824c6f19bbecbec71633d2c97077dad"
+					"commitHash": "4b3e0a3d0ca8999430bc3aa9f2c8324e6922b3de"
 				}
 			},
 			"version": "0.1.0"
--- a/extensions/theme-seti/icons/seti.woff
+++ b/extensions/theme-seti/icons/seti.woff
--- a/extensions/theme-seti/icons/vs-seti-icon-theme.json
+++ b/extensions/theme-seti/icons/vs-seti-icon-theme.json