Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dracula #27

Closed
1 task done
Otterpocket opened this issue Apr 28, 2023 · 2 comments
Closed
1 task done

Dracula #27

Otterpocket opened this issue Apr 28, 2023 · 2 comments
Labels
theme A request to add a theme extension

Comments

@Otterpocket
Copy link
Contributor

Check for existing issues

  • Completed

Describe the feature

Add the Dracula Theme to available themes

If applicable, add mockups / screenshots to help present your vision of the feature

https://draculatheme.com/

image

@hovsater hovsater added the theme A request to add a theme extension label Apr 28, 2023
@iamnbutler
Copy link
Member

@iamnbutler iamnbutler closed this as not planned Won't fix, can't repro, duplicate, stale Jul 19, 2023
@JosephTLyons JosephTLyons transferred this issue from zed-industries/community Jan 24, 2024
@JosephTLyons JosephTLyons transferred this issue from zed-industries/zed Feb 15, 2024
@JosephTLyons JosephTLyons reopened this Feb 16, 2024
@JosephTLyons
Copy link
Collaborator

JosephTLyons commented Feb 16, 2024

Hey @Otterpocket, I moved this issue to the extensions repo and reopened it. This issue is now closed via the Zed extension:

@JosephTLyons JosephTLyons changed the title Dracula Theme Support Dracula theme Feb 16, 2024
@JosephTLyons JosephTLyons changed the title Dracula theme Dracula Feb 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
theme A request to add a theme extension
Projects
None yet
Development

No branches or pull requests

4 participants