GitHub Files Filter

A userscript that adds filters that toggle the view of repo files by extension

Voici toutes les versions de ce script. Voir uniquement les versions où le code a été modifié.

  • v2.1.4 17/02/2024

    feat: use eslint-plugin-userscripts (#202)
  • v2.1.4 01/07/2023

    Global: replace @include with @match (#192)
  • v2.1.4 24/10/2022 Global: Update dependencies
  • v2.1.3 21/07/2021 Mutation: Update all
  • v2.1.2 21/02/2021 Add @supportURL pointing to the GitHub repo (#137) (per https://github.com/JasonBarnabe/greasyfork/issues/712#issuecomment-649176266 )
  • v2.1.2 31/01/2021 Mutation: Add menu observer
  • v2.1.1 13/07/2020 Files-filter: remove optional chaining
  • v2.0.1 24/03/2020 Files-filter: Fix filter block location selector
  • v2.0.0 23/09/2019 Files-filter: Change toggle button, Files-filter: Fix image preview interaction, Files-filter: Add ctrl+click for single filter. See #97
  • v1.1.8 18/02/2019 Files-filter: Filters work after using go back. Fixes #77
  • v1.1.7 17/02/2019 Files-filter: Maintain case-sensitive names. Fixes #76, Global: Update GitHub icon
  • v1.1.6 29/01/2019 Global: Update mutation script
  • v1.1.5 12/01/2019 Update github-files-filter.user.js (#68)
  • v1.1.4 05/10/2018 Mutations: Update comment load selector
  • v1.1.3 23/07/2018 Files-filter: Limit subcategories
  • v1.1.2 01/06/2018 Files-filter: Don't hide image preview up tree link
  • v1.1.1 22/05/2018 Files-filter: Add focused button styling. See #46
  • v1.1.0 22/05/2018
  • v1.1.0 22/05/2018 Files-filter: Code cleanup, Files-filter: Add selected and hover styling. See #46, Files-filter: Split out extension subcategories E.g. ".user.js" is separate from ".js"
  • v1.0.4 17/05/2018 Global: Update mutation script
  • v1.0.3 10/05/2018 Global: Update mutation script
  • v1.0.2 09/04/2018 Global: update mutation script url
  • v1.0.1 05/02/2018 Files-filter: Update selector to match GitHub change
  • v1.0.0 18/01/2018 Update assets & fix linting
  • v0.1.2 08/10/2017 Global: update mutation script url
  • v0.1.1 10/07/2017 Files-filter: Sort extensions with special filters first
  • v0.1.0 26/06/2017
  • v0.1.0 26/06/2017
  • v0.1.0 26/06/2017 Imported from URL