Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/patches/no_ocaml_icons.patch
author nipkow
Tue, 27 Feb 2024 17:06:42 +0100
changeset 79739 407f201b7f22
parent 75269 70837c079b20
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75269
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     1
 
diff --git a/extensions/theme-seti/build/update-icon-theme.js b/extensions/theme-seti/build/update-icon-theme.js
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     2
 
--- a/extensions/theme-seti/build/update-icon-theme.js
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     3
 
+++ b/extensions/theme-seti/build/update-icon-theme.js
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     4
 
@@ -29,7 +29,6 @@ const nonBuiltInLanguages = { // { fileNames, extensions  }
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     5
 
 	"kotlin": { extensions: ['kt'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     6
 
 	"mustache": { extensions: ['mustache', 'mst', 'mu', 'stache'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     7
 
 	"nunjucks": { extensions: ['nunjucks', 'nunjs', 'nunj', 'nj', 'njk', 'tmpl', 'tpl'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     8
 
-	"ocaml": { extensions: ['ml', 'mli', 'mll', 'mly', 'eliom', 'eliomi'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
     9
 
 	"puppet": { extensions: ['puppet'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    10
 
 	"r": { extensions: ['r', 'rhistory', 'rprofile', 'rt'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    11
 
 	"rescript": { extensions: ['res', 'resi'] },
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    12
 
diff --git a/extensions/theme-seti/icons/vs-seti-icon-theme.json b/extensions/theme-seti/icons/vs-seti-icon-theme.json
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    13
 
index 72f3c989c2a..0f6a7dbf879 100644
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    14
 
--- a/extensions/theme-seti/icons/vs-seti-icon-theme.json
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    15
 
+++ b/extensions/theme-seti/icons/vs-seti-icon-theme.json
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    16
 
@@ -1006,14 +1006,6 @@
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    17
 
 			"fontCharacter": "\\E069",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    18
 
 			"fontColor": "#8dc149"
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    19
 
 		},
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    20
 
-		"_ocaml_light": {
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    21
 
-			"fontCharacter": "\\E06A",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    22
 
-			"fontColor": "#cc6d2e"
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    23
 
-		},
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    24
 
-		"_ocaml": {
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    25
 
-			"fontCharacter": "\\E06A",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    26
 
-			"fontColor": "#e37933"
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    27
 
-		},
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    28
 
 		"_odata_light": {
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    29
 
 			"fontCharacter": "\\E06B",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    30
 
 			"fontColor": "#cc6d2e"
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    31
 
@@ -1645,10 +1637,6 @@
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    32
 
 		"npm-debug.log": "_npm",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    33
 
 		"npmignore": "_npm_1",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    34
 
 		"npmrc": "_npm_1",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    35
 
-		"ml": "_ocaml",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    36
 
-		"mli": "_ocaml",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    37
 
-		"cmx": "_ocaml",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    38
 
-		"cmxa": "_ocaml",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    39
 
 		"odata": "_odata",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    40
 
 		"php.inc": "_php",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    41
 
 		"pipeline": "_pipeline",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    42
 
@@ -1908,7 +1896,6 @@
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    43
 
 		"kotlin": "_kotlin",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    44
 
 		"mustache": "_mustache",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    45
 
 		"nunjucks": "_nunjucks",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    46
 
-		"ocaml": "_ocaml",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    47
 
 		"rescript": "_rescript",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    48
 
 		"sass": "_sass",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    49
 
 		"stylus": "_stylus",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    50
 
@@ -2027,10 +2014,6 @@
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    51
 
 			"npm-debug.log": "_npm_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    52
 
 			"npmignore": "_npm_1_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    53
 
 			"npmrc": "_npm_1_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    54
 
-			"ml": "_ocaml_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    55
 
-			"mli": "_ocaml_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    56
 
-			"cmx": "_ocaml_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    57
 
-			"cmxa": "_ocaml_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    58
 
 			"odata": "_odata_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    59
 
 			"php.inc": "_php_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    60
 
 			"pipeline": "_pipeline_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    61
 
@@ -2224,7 +2207,6 @@
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    62
 
 			"kotlin": "_kotlin_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    63
 
 			"mustache": "_mustache_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    64
 
 			"nunjucks": "_nunjucks_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    65
 
-			"ocaml": "_ocaml_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    66
 
 			"rescript": "_rescript_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    67
 
 			"sass": "_sass_light",
70837c079b20 suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
wenzelm
parents:
diff changeset 
    68
 
 			"stylus": "_stylus_light",
isabelle