Match count in status bar#4039

redsti-github wants to merge 1 commit intomicro-editor:mastermicro-editor/micro:masterfrom

redsti-github:feature/match-countredsti-github/micro:feature/match-countCopy head branch name to clipboard