eclipse-platform / eclipse.platform.text

8 stars 45 forks source link

Add filtering support for duplicate files in nested projects #144

Closed jjohnstn closed 1 year ago

jjohnstn commented 1 year ago
jjohnstn commented 1 year ago

Hi @mickaelistria please review. This is based on @merks suggestion to avoid duplicates via a filter rather than in the search resuilts.

jjohnstn commented 1 year ago

Thanks @mickaelistria I used your string commits (interesting feature of github). I don't think the filtered match label stuff needs to be sectioned out as it is essentially copied from the Java search page and just modified to take into account if the limit is also reached. As well, there weren't any filters being set up for the File page before. This plus the quick search change might be noteworthy additions, but I'll let you decide.