mirror of
https://github.com/joshuadavidthomas/django-language-server.git
synced 2025-08-04 01:58:18 +00:00
Add editor support for Zed
This commit is contained in:
parent
59e2665c6f
commit
5c09dde74e
1 changed files with 11 additions and 0 deletions
11
editors/zed/extension.toml
Normal file
11
editors/zed/extension.toml
Normal file
|
@ -0,0 +1,11 @@
|
|||
id = "django-language-server"
|
||||
name = "Django Language Server"
|
||||
version = "5.1.0-alpha.2"
|
||||
schema_version = 1
|
||||
authors = ["Josh Thomas <josh@joshthomas.dev>"]
|
||||
description = "A Zed extension for the Zed editor"
|
||||
repository = "https://github.com/joshuadavidthomas/django-language-server"
|
||||
|
||||
[language_servers.htmldjango]
|
||||
name = "Django Language Server"
|
||||
languages = ["htmldjango"]
|
Loading…
Add table
Add a link
Reference in a new issue