feat(ui): focus search that dims everything outside a match's neighbourhood - #8

feat(ui): focus search that dims everything outside a match's neighbourhood#8

thomasmarsh merged 1 commit into

thomasmarsh:mainthomasmarsh/pb:mainfrom

jimmykirk:diagram-focus-searchjimmykirk/pb:diagram-focus-searchCopy head branch name to clipboard