fix: swap light and dark Lean language file icons (#753)

mhuisi · web-flow · commit 0d07ab5496dd · 2026-04-02T10:19:08.000+02:00
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
@@ -791,8 +791,8 @@
                     ".lean"
                 ],
                 "icon": {
-                    "dark": "./media/lean-file-icon-dark.png",
-                    "light": "./media/lean-file-icon-light.png"
+                    "dark": "./media/lean-file-icon-light.png",
+                    "light": "./media/lean-file-icon-dark.png"
                 }
             },
             {

Original file line number	Diff line number	Diff line change
`@@ -791,8 +791,8 @@`
`791`	`791`	`".lean"`
`792`	`792`	`],`
`793`	`793`	`"icon": {`
`794`		`- "dark": "./media/lean-file-icon-dark.png",`
`795`		`- "light": "./media/lean-file-icon-light.png"`
	`794`	`+ "dark": "./media/lean-file-icon-light.png",`
	`795`	`+ "light": "./media/lean-file-icon-dark.png"`
`796`	`796`	`}`
`797`	`797`	`},`
`798`	`798`	`{`