enhancementhelp wantedtreeui/ux
Repository metrics
- Stars
- (18,676 個のスター)
- PR merge metrics
- (平均マージ 15d 4h) (30d で 75 merged PRs)
説明
Feature Description:
VSCode supports a title on the tree search box that states how many items in the tree match the query out of the total number of candidates:
At the moment, a similar title is hard to supply for our tree because the data handling infrastructure doesn't make those numbers readily available (see discussion here).