Add quick filter for New Tab -> Profiles drop down
andreihes opened this issue · comments
Description of the new feature/enhancement
Add a quick filter for profile drop down. Picking a profile (when opening a new tab) with arrow up/down keys is a pain once profile count exceeds 20-30
Proposed technical implementation details (optional)
- When profiles drop down is opened and user starts typing the whole profile list filtered by basic text match
- Filtered means only the profiles with
Name =~ *filtertext*are displayed - Current "filtertext" text to be shown / visible as well in any suitable way
- Pressing "Esc" removes / clears the filters and brings all the profiles back
Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!