(GitHub Files Filter) Feature suggestion: invert select
See original GitHub issueGreetings @Mottie 🙂
Currently, ‘GitHub Files Filter’, only hides the files matching the activated filters.
My suggestion is to also be able to invert select, i.e. only show the matching files, e.g. with Ctrl+click.
For example, in your repo, when Ctrl+clicking MD
:
to only display .md files, i.e. to strikethrough the rest filters.
And, if you keep Ctrl+clicking, e.g. also Ctrl+click «dot files»
to only display .md and dot files .
I hope you like my suggestion !
Issue Analytics
- State:
- Created 4 years ago
- Comments:17 (7 by maintainers)
Top Results From Across the Web
Filtering files in a pull request - GitHub Docs
You can filter files in a pull request by file extension type, ... Use the File filter drop-down menu, and select, unselect, or...
Read more >Filtering and searching issues and pull requests - GitHub Docs
Under your repository name, click Issues or Pull requests. Issues and pull requests tab selection; Click Filters to choose the type of filter...
Read more >feat: inversion selection support for the resource filter on sync ...
Implements the --resource flag enhancement. Sync and Wait commands to manage applications can now be filtered with negative selection of the resources. Matching ......
Read more >filter/hide/invert selection #27 - IFCjs/web-ifc-viewer - GitHub
filter out a named item/outline by clicking to get information about the item/name. invert selection (select everything but the selection); hide items based ......
Read more >Filtering files in a pull request - GitHub AE Docs
You can filter files in a pull request by file extension type, ... Use the File filter drop-down menu, and select, unselect, or...
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
I just updated the files filter userscript.
I didn’t:
Ok try out this script; if it works like you want, I’ll go ahead and commit it:
Files-filter