As it stands right now, the only way to make the quick search bar jump to a matching tab seems to be to enable the flag that makes it do so automatically when a set number of characters has been typed. This is unwieldy, and I'd much prefer if there were some way of triggering the jump explicitly. I am attaching a somewhat crude fix that worked for me (pressing enter in the quick search bar jumps to the first matching tab); an argument for it is that rofi, as a canonical "quick search for making named selections" app, also uses that convention.
Thanks. I should have done it from the beginning. Hitting to jump to a search result is indeed very intuitive. And it's not only rofi but almost every application do it.
traxium
commented
8 years ago
As it stands right now, the only way to make the quick search bar jump to a matching tab seems to be to enable the flag that makes it do so automatically when a set number of characters has been typed. This is unwieldy, and I'd much prefer if there were some way of triggering the jump explicitly. I am attaching a somewhat crude fix that worked for me (pressing enter in the quick search bar jumps to the first matching tab); an argument for it is that rofi, as a canonical "quick search for making named selections" app, also uses that convention.