Skip to content

Fix selection highlighting in remaining gruvbox derived themes#7717

Merged
archseer merged 2 commits intohelix-editor:masterfrom rsjethani:fix-selection-highlightingJul 23, 2023
-4

Commits

Commits on Jul 22, 2023