Add idris file icon (Closes #915)

material-extensions · Dec 19, 2020 · 1717925 · 1717925
1 parent f55b409
commit 1717925
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/icons/idris.svg b/icons/idris.svg
diff --git a/src/icons/fileIcons.ts b/src/icons/fileIcons.ts
@@ -1363,5 +1363,6 @@ export const fileIcons: FileIcons = {
     { name: 'cobol', fileExtensions: ['cob', 'cbl'] },
     { name: 'grain', fileExtensions: ['gr'] },
     { name: 'lolcode', fileExtensions: ['lol'] },
+    { name: 'idris', fileExtensions: ['idr', 'ibc'] },
   ],
 };
diff --git a/src/icons/languageIcons.ts b/src/icons/languageIcons.ts
@@ -123,4 +123,5 @@ export const languageIcons: LanguageIcon[] = [
   },
   { icon: { name: 'grain' }, ids: ['grain'] },
   { icon: { name: 'lolcode' }, ids: ['lolcode'] },
+  { icon: { name: 'idris' }, ids: ['idris'] },
 ];