Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Some action is necessary when the tag tree becomes too big to easily traverse (given you don't want to always need to traverse it by memory).
I think the first one would be the way to go, at the cost of an extra search bar on top of the current tag tree, which might even look good/symmetric with the current one. I think we will eventually need one in the text edition too, similar to the one we see in the web browsers when we do control+f (since we ATM we cant do control+f within a document and search for specific words unless we open the doc in other editors).
Making it easier to find the wanted tags.
I've been thinking about this also, I think this would be a good idea.
Implementing a second fixed search bar for tags wouldn't be good in my opinion, but we could add a command to the command palette #338 for this instead, that would solve the issue for power users without making the UI more complicated for those who don't need this feature.