Page 1 of 1

Live filter for tabs

Posted: 11 Nov 2021 10:30
by highend
Probably not easy to implement, but very useful if you're dealing with a lot of tabs

A prefix to activate it, e.g. ":" or "t:"

and on typing the filter, it temporarily hides all non-matching tabs^^