Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: Add missing help menu to gruvbox-dark skin (derailed#1969)
The values of almost everything in the skins gruvbox-light and gruvbox-dark are the same, but gruvbox-dark is missing the values of the help menu, which looks a bit broken. This patch copies the values from gruvbox-light to gruvbox-dark so that it looks fine.
- Loading branch information