fix: add theming for find/search panel Search panel#1174

Merged

meteyou merged 2 commits intomainsail-crew:developfrom vajonam:search_panel

Dec 9, 2022

+119-1

Commits on Nov 27, 2022

theme seach and replace panel for codemirror
vajonam
committed

Commits on Dec 9, 2022

style: fix css settings and use scoped option
meteyou
committed