From d5799e330ca57a9a355ce9c4eda5c631a5094bd0 Mon Sep 17 00:00:00 2001 From: Gaspartcho <93390411+Gaspartcho@users.noreply.github.com> Date: Wed, 10 Jul 2024 10:23:59 +0200 Subject: Update nerdicons (#451) * Update nerdicons.lua * Update nerdicons.lua * Bumped the version in manifest.json --- manifest.json | 2 +- plugins/nerdicons.lua | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/manifest.json b/manifest.json index da44c61..ba4b84a 100644 --- a/manifest.json +++ b/manifest.json @@ -1888,7 +1888,7 @@ "mod_version": "3", "path": "plugins/nerdicons.lua", "type": "plugin", - "version": "1.2.2" + "version": "1.2.3" }, { "description": "Official NodeJs builds.", diff --git a/plugins/nerdicons.lua b/plugins/nerdicons.lua index c146280..014e592 100644 --- a/plugins/nerdicons.lua +++ b/plugins/nerdicons.lua @@ -113,6 +113,10 @@ local extension_icons = { [".otf"] = { "#dad8d4", "fa-font" }, [".vim"] = { "#8f00ff", "custom-vim" }, [".pdf"] = { "#E53935", "fa-file_pdf_o" }, + [".jl"] = { "#4063d8", "seti-julia" }, + [".mp4"] = { "#e85e00", "oct-video" }, + [".jld2"] = { "#888888", "fa-database" }, + [".ipynb"] = { "#F37726", "seti-notebook" }, } -- cgit v1.2.3