Highlight relevant tab on search
Madis0 opened this issue ยท 1 comments
With the newly added search, the options matching the description on the current tab are successfully highlighted, but what about the other tabs? How about highlighting the relevant tabs' names as well?