Skip to content

feat(themes): add jump-label for gruvbox themes#10012

Merged
pascalkuthe merged 1 commit intohelix-editor:masterfrom RoloEdits:gruvbox-jump-labelMar 26, 2024

Commits

Commits on Mar 26, 2024