update icon

onriv · Oct 19, 2024 · 420edbc · 420edbc
1 parent c4adf19
commit 420edbc
Show file tree

Hide file tree

Showing 2 changed files with 61 additions and 33 deletions.
diff --git a/src/main/kotlin/lean4ij/language/Lean4Language.kt b/src/main/kotlin/lean4ij/language/Lean4Language.kt
@@ -35,7 +35,7 @@ object Lean4FileType : LanguageFileType(Lean4Language.INSTANCE) {
     }
 
     override fun getIcon(): Icon {
-        // return Lean4Icons.FILE
-        return AllIcons.Debugger.LambdaBreakpoint
+        return Lean4Icons.FILE
+        // return AllIcons.Debugger.LambdaBreakpoint
     }
 }
diff --git a/src/main/resources/icons/lean_logo.svg b/src/main/resources/icons/lean_logo.svg