Search box on the toolbar
There is a plugin that adds a text box on the tool bar but only used for searching the menu and preferences
It would be great to have something similar but search the document instead. Is that something that’ll be added in the future?
do you know that there is an incremental search available? (search menu)
Maybe this suits you as well.