Add phine theme 0.0.1 (#1803)

It's my personal theme, but I think some people would enjoy it. A bit work in progress, but certainly good enough for daily use.
zed-industries · Dec 16, 2024 · d21b8b3 · d21b8b3
1 parent 2099c9d
commit d21b8b3
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1074,6 +1074,10 @@
 	path = extensions/pest
 	url = https://github.com/pest-parser/zed-pest.git
 
+[submodule "extensions/phine-theme"]
+	path = extensions/phine-theme
+	url = https://github.com/phisch/phine-zed.git
+
 [submodule "extensions/pica200"]
 	path = extensions/pica200
 	url = https://github.com/Squareheron942/zed-pica200.git

diff --git a/extensions.toml b/extensions.toml
@@ -1141,6 +1141,10 @@ version = "0.1.0"
 submodule = "extensions/pest"
 version = "0.1.0"
 
+[phine-theme]
+submodule = "extensions/phine-theme"
+version = "0.0.1"
+
 [php]
 submodule = "extensions/zed"
 path = "extensions/php"

diff --git a/extensions/phine-theme b/extensions/phine-theme