I normally hide the "topmenu" bar with CSS but miss the ability to search tabs.
It would be nice to be able to press a hotkey shortcut to make the topmenu reappear so I could run a tab search. Perhaps other people would like having that shortcut for accessing other elements of the hidden topmenu bar, too. (I can't think of any way I can do this with the existing CSS customization features.)
Alternately, a hotkey that exposes the tab search functionality in a context other than the topmenu bar would meet my request too.
In any case, thanks for a fantastic vertical tabs implementation. It really fills a need.
ariasuni
commented
4 years ago
I normally hide the "topmenu" bar with CSS but miss the ability to search tabs.
It would be nice to be able to press a hotkey shortcut to make the topmenu reappear so I could run a tab search. Perhaps other people would like having that shortcut for accessing other elements of the hidden topmenu bar, too. (I can't think of any way I can do this with the existing CSS customization features.)
Alternately, a hotkey that exposes the tab search functionality in a context other than the topmenu bar would meet my request too.
In any case, thanks for a fantastic vertical tabs implementation. It really fills a need.