Skip to content
This repository was archived by the owner on Sep 14, 2025. It is now read-only.

Search in editor: disable smart search#5

Open
peshovec wants to merge 1 commit into
jojo141185:masterfrom
peshovec:jm-search
Open

Search in editor: disable smart search#5
peshovec wants to merge 1 commit into
jojo141185:masterfrom
peshovec:jm-search

Conversation

@peshovec

Copy link
Copy Markdown

And initiate the search after presing Enter.
This seems more suitable for performance, as well for using regex, search builder

…resing Enter.

This seems more suitable for performance, as well for using regex, search builder
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant