This repository has been archived by the owner on May 1, 2024. It is now read-only.

Add search in editor #47

Closed

liferooter opened this issue Dec 9, 2021 · 1 comment

Labels

Milestone

Owner

liferooter commented Dec 9, 2021

It will be good to have ability to search in the editor

liferooter added this to the 3.1 milestone

liferooter added the enhancement label

Owner Author

liferooter commented Aug 4, 2022

Fixed by dde29ec

liferooter closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.