Revert deletion of `FindEditor` in theme

621e67bca7Antonio Scandurra committed on 3/30/2022, 11:35:17 AMparent94097a5
4 files changedLine totals unavailable