-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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 dark #3948
Add gruvbox dark #3948
Conversation
I haven't look closely but maybe you want to resolve some of these issues? These tool is still new so it may have false positive. |
Ah I just copied straight from the current gruvbox theme to make it super easy to review. Should I still change it? Might be better to change all of the themes in one big linting commit. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
runtime/themes/gruvbox-dark.toml
Outdated
"ui.menu.selected" = { fg = "bg2", bg = "blue1", modifiers = ["bold"] } | ||
|
||
"diagnostic" = { modifiers = ["underlined"] } | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
looks like this is missing the markup
scopes
helix/runtime/themes/gruvbox.toml
Lines 65 to 70 in 0d8d8a4
"markup.heading" = "aqua1" | |
"markup.bold" = { modifiers = ["bold"] } | |
"markup.italic" = { modifiers = ["italic"] } | |
"markup.link.url" = { fg = "green1", modifiers = ["underlined"] } | |
"markup.link.text" = "red1" | |
"markup.raw" = "red1" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@the-mikedavis I noticed you always comments on this, should we put this in the lint? cc @AlexanderBrevig
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'll make a PR tonight
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe you can look if it's valid and then fix the file you added for now, I didn't check if they are valid yet, then later the original authors can probably refer to this file. |
So while I think that #2454 would likely be the better solution for an implementation, it shouldn't really hinder merging this particular PR even though it could be implemented more efficiently once that feature has made it in. Can we merge in for the time being and then get rid of most of the code once the possiblity to derive a theme lands? |
This will yield (with #3983):
|
I would like to see the |
Let's call this one |
I synced this up with the original gruvbox theme and fixed the name. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me. Thanks for contributing a theme. But do remember to add it to https://github.com/helix-editor/helix/wiki/Themes, even though we are currently looking to phase that out but it is still usable now.
@pickfire Cool, I added the theme preview to the wiki page. |
Uses the official gruvbox dark hard colors.
There's already gruvbox_light so let's also have gruvbox_dark. :)
To note, it would be technically more correct to rename the original gruvbox helix theme to
gruvbox_dark
and have this one be calledgruvbox_dark_hard
but eh, it would break some configs.