Search box on the toolbar

[Godwin F]

Hi,

There is a plugin that adds a text box on the tool bar but only used for searching the menu and preferences
Click here

It would be great to have something similar but search the document instead. Is that something that’ll be added in the future?

[Claudia Frank]

@Godwin-F

do you know that there is an incremental search available? (search menu)
Maybe this suits you as well.

Cheers
Claudia