Comment 12 for bug 1028295

Revision history for this message
Adam Reichold (adamreichold) wrote :

Hello again,

we still need to optimize the performance and the interaction details (which were optimized for one-off search until now), but basically if you use the latest daily builds, enable the extended search dock setting (restart required) and use the shift+return shortcut to search all open tabs, this should basically yield the necessary functionality. (However, we will not search the file system for now. This is strictly about the already open tabs for the time being.)

Best regards, Adam.