Add The Batman theme (#1518)

Adds a new dark theme which is port of [The Batman theme for vscode](https://github.com/devzaidi/batman-theme-vscode) to Zed. https://github.com/devzaidi/batman-theme-zed
zed-industries · Oct 13, 2024 · aa33128 · aa33128
1 parent e40c4f8
commit aa33128
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -90,6 +90,10 @@
 	path = extensions/basher
 	url = https://github.com/d1y/bash.zed
 
+[submodule "extensions/batman"]
+	path = extensions/batman
+	url = https://github.com/devzaidi/batman-theme-zed
+
 [submodule "extensions/beancount"]
 	path = extensions/beancount
 	url = https://github.com/zed-extensions/beancount.git

diff --git a/extensions.toml b/extensions.toml
@@ -96,6 +96,10 @@ version = "0.0.3"
 submodule = "extensions/basher"
 version = "0.0.1"
 
+[batman]
+submodule = "extensions/batman"
+version = "0.0.1"
+
 [beancount]
 submodule = "extensions/beancount"
 version = "0.0.3"

diff --git a/extensions/batman b/extensions/batman