Add dune-workspace file to dune file icons

material-extensions · Nov 14, 2020 · cf98ce0 · cf98ce0
1 parent 7451b0d
commit cf98ce0
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/icons/fileIcons.ts b/src/icons/fileIcons.ts
@@ -1273,7 +1273,15 @@ export const fileIcons: FileIcons = {
     },
     { name: 'nrwl', fileNames: ['nx.json'] },
     { name: 'opam', fileExtensions: ['opam'] },
-    { name: 'dune', fileNames: ['dune', 'dune-project'] },
+    {
+      name: 'dune',
+      fileNames: [
+        'dune',
+        'dune-project',
+        'dune-workspace',
+        'dune-workspace.dev',
+      ],
+    },
     { name: 'imba', fileExtensions: ['imba'] },
     { name: 'drawio', fileExtensions: ['drawio', 'dio'] },
     { name: 'pascal', fileExtensions: ['pas'] },