Feature request: Optionally disable incremental search mode
While incremental search is very useful for small to medium-sized documents, it can become very slow for large multi-gigabyte text documents.
In addition, it interferes with search text copied into the search expression field via the clipboard or X11 mouse selection because it immediately tries to locate that text.
However, it is frequently useful to first paste text into the search field, then edit it there and only after this start the search operation.
Very slow computers like the Raspberry Zero would also benefit, because incremental search becomes nearly unusable on such devices because of the large delays between input keystrokes due to the incremental search.
For those reasons, an option for disabling the incremental search feature in such situations would be beneficial.