Dune Icon (Fixes #137)

miguelsolorio · Oct 11, 2023 · 5b2d4e9 · 5b2d4e9
1 parent 5e15f7b
commit 5b2d4e9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/src/icons/files/dune.svg b/src/icons/files/dune.svg
diff --git a/src/symbol-icon-theme.json b/src/symbol-icon-theme.json
@@ -191,7 +191,8 @@
     "lock": { "iconPath": "./icons/files/lock.svg" },
     "stylelint": { "iconPath": "./icons/files/stylelint.svg" },
     "drizzle": { "iconPath": "./icons/files/drizzle.svg" },
-    "ocaml": { "iconPath": "./icons/files/ocaml.svg" }
+    "ocaml": { "iconPath": "./icons/files/ocaml.svg" },
+    "dune": { "iconPath": "./icons/files/dune.svg" }
   },
   "fileExtensions": {
     "ml": "ocaml",
@@ -523,6 +524,10 @@
     "nix": "nix"
   },
   "fileNames": {
+    "dune": "dune",
+    "dune-project": "dune",
+    "dune-workspace": "dune",
+    "dune-workspace.dev": "dune",
     "drizzle.config.ts": "drizzle",
     ".stylelintrc": "stylelint",
     "stylelint.config.js": "stylelint",