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

Add Gruvbox-ish #1224

Merged
merged 4 commits into from
Aug 23, 2024
Merged

Add Gruvbox-ish #1224

merged 4 commits into from
Aug 23, 2024

Conversation

LeoDog896
Copy link
Contributor

adds the gruvbox-ish theme (original).

Note: I have not explicitly licensed the previous repository. I've contacted the author of gruvbox-ish by email, where they said "Of course you can port/modify or do whatever you want with it." If there's some extra requirement for licensing, I can ask for explicit licensing 👍

Copy link

cla-bot bot commented Aug 9, 2024

We require contributors to sign our Contributor License Agreement, and we don't have @LeoDog896 on file. You can sign our CLA at https://zed.dev/cla. Once you've signed, post a comment here that says '@cla-bot check'.

@LeoDog896
Copy link
Contributor Author

@cla-bot check

@cla-bot cla-bot bot added the cla-signed label Aug 9, 2024
Copy link

cla-bot bot commented Aug 9, 2024

The cla-bot has been summoned, and re-checked this pull request!

@maxdeviant maxdeviant changed the title add: gruvbox-ish Add Gruvbox-ish Aug 14, 2024
@morgoth
Copy link

morgoth commented Aug 15, 2024

@LeoDog896 There is a builtin gruvbox theme in zed editor.
Maybe it would be possible to port the improvements directly there?
I'm not familiar with changes/content, so not sure if it's easy and it won't break anything else, but would be cool to have solid gruvbox theme out of the box.

@LeoDog896
Copy link
Contributor Author

I could, though that doesn't seem appropriate given the themes changes and relative unpopularity in vscode - this theming extension only has 8 thousand downloads on VSCode.

@khipp
Copy link

khipp commented Aug 15, 2024

@LeoDog896 There is a builtin gruvbox theme in zed editor. Maybe it would be possible to port the improvements directly there? I'm not familiar with changes/content, so not sure if it's easy and it won't break anything else, but would be cool to have solid gruvbox theme out of the box.

There was a similar discussion when the Rosé Pine theme was added. The official stance was not to change the built-in themes but to add an extension: zed-industries/zed#9151 (comment)

@morgoth
Copy link

morgoth commented Aug 16, 2024

Thank you for checking

Copy link
Member

@maxdeviant maxdeviant left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR!

Could you update the ID in your extension.toml to be just gruvbox-ish instead of zed-gruvbox-ish?

https://github.com/LeoDog896/zed-gruvbox-ish/blob/e8bda4473ef8a5057c409b4799f0d71dcf6ab93c/extension.toml#L1

@LeoDog896
Copy link
Contributor Author

Thanks for the PR!

Could you update the ID in your extension.toml to be just gruvbox-ish instead of zed-gruvbox-ish?

https://github.com/LeoDog896/zed-gruvbox-ish/blob/e8bda4473ef8a5057c409b4799f0d71dcf6ab93c/extension.toml#L1

👍

@maxdeviant maxdeviant merged commit 17b3e14 into zed-industries:main Aug 23, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants