Closed this issue 6 years ago · 1 comments
#113 fixed the tree unfolding bug, but introduced a new small bug. If the user selects a search result it only gets highlighted if this branch is already unfolded or a top concept.
Fixed in the new vuejs version.