Any chance that a "hide tags not in this notebook" option will be added?
I have a lot of tags that are notebook-specific, so I don't want them to be shown unless I'm on the right notebook. "Hide unassigned tags" seems to mostly do what I want, except it has one problem: when I click a tag, all other tags disappear. Here's what I mean: Any chance this will be fixed in a future release? (Or better yet, an option for only showing tags for specific notebooks?) Thanks!