Add a new color group for selections within highlighted search results#3827

masmu wants to merge 2 commits intomicro-editor:mastermicro-editor/micro:masterfrom

masmu:feature/hlsearch-selection-colorscheme-groupmasmu/micro:feature/hlsearch-selection-colorscheme-groupCopy head branch name to clipboard