[seti] add information_for_contributors

aeschli · dbaeumer · commit bebc4b923f0e · 2017-05-26T09:27:58.000+02:00
diff --git a/extensions/theme-seti/build/update-icon-theme.js b/extensions/theme-seti/build/update-icon-theme.js
@@ -212,6 +212,14 @@ exports.update = function () {
 		}
 
 		var res = {
+			information_for_contributors: [
+				'This file has been generated from data in https://github.com/jesseweed/seti-ui:',
+				'- icon definitions: styles/_fonts/seti.less',
+				'- icon colors: styles/ui-variables.less',
+				'- file associations: styles/icons/mapping.less',
+				'If you want to provide a fix or improvement, please create a pull request against the jesseweed/seti-ui repository.',
+				'Once accepted there, we are happy to receive an update request.',
+			],
 			fonts: [{
 				id: "seti",
 				src: [{ "path": "./seti.woff", "format": "woff" }],
diff --git a/extensions/theme-seti/icons/vs-seti-icon-theme.json b/extensions/theme-seti/icons/vs-seti-icon-theme.json
@@ -1,4 +1,12 @@
 {
+	"information_for_contributors": [
+		"This file has been generated from data in https://github.com/jesseweed/seti-ui:",
+		"- icon definitions: styles/_fonts/seti.less",
+		"- icon colors: styles/ui-variables.less",
+		"- file associations: styles/icons/mapping.less",
+		"If you want to provide a fix or improvement, please create a pull request against the jesseweed/seti-ui repository.",
+		"Once accepted there, we are happy to receive an update request."
+	],
 	"fonts": [
 		{
 			"id": "seti",

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,12 @@`
`1`	`1`	`{`
	`2`	`+ "information_for_contributors": [`
	`3`	`+ "This file has been generated from data in https://github.com/jesseweed/seti-ui:",`
	`4`	`+ "- icon definitions: styles/_fonts/seti.less",`
	`5`	`+ "- icon colors: styles/ui-variables.less",`
	`6`	`+ "- file associations: styles/icons/mapping.less",`
	`7`	`+ "If you want to provide a fix or improvement, please create a pull request against the jesseweed/seti-ui repository.",`
	`8`	`+ "Once accepted there, we are happy to receive an update request."`
	`9`	`+ ],`
`2`	`10`	`"fonts": [`
`3`	`11`	`{`
`4`	`12`	`"id": "seti",`