From cf98ce05bb41afd190f3fd27f5b13a7e52aca600 Mon Sep 17 00:00:00 2001 From: Ananda Umamil Date: Sat, 14 Nov 2020 16:03:43 +0700 Subject: [PATCH] Add dune-workspace file to dune file icons --- src/icons/fileIcons.ts | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/icons/fileIcons.ts b/src/icons/fileIcons.ts index 035ebf4047..029896095c 100644 --- 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'] },