src/Tools/VSCode/src/build_vscodium.scala

--- a/src/Tools/VSCode/src/build_vscodium.scala	Fri Mar 11 14:02:13 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscodium.scala	Fri Mar 11 19:44:34 2022 +0100
@@ -142,7 +142,7 @@
         // explicit patches
         {
           val patches_dir = Path.explode("$ISABELLE_VSCODE_HOME/patches")
-          for (name <- Seq("isabelle_encoding")) {
+          for (name <- Seq("isabelle_encoding", "no_ocaml_icons")) {
             val path = patches_dir + Path.basic(name).patch
             Isabelle_System.bash("patch -p1 < " + File.bash_path(path), cwd = dir.file).check
           }