Closed pxsty0 closed 1 year ago
I want to create my own search box instead of the standard search box, but I could not find a source in the docs. Is there any built-in function or something?
@pxsty0 Here are official packages, you can check their source code https://github.com/codemirror/search
Thank you
I want to create my own search box instead of the standard search box, but I could not find a source in the docs. Is there any built-in function or something?