☰

GitHub Diff Filename

A userscript that highlights filename & permission alterations

Versione datata 31/01/2021. Vedi la nuova versione l'ultima versione.

Autore
Mottie
Valutazione
0 0 0
Versione
1.1.2
Creato il
27/08/2017
Aggiornato il
31/01/2021
Dimensione
3,04 KB
Licenza
MIT
Applica a

A userscript that highlights filename & permission alterations

  • When altering a filename, path or permission, an "old → new" format is used, but is not highlighted as a diff.
  • This userscript visibly alters the colors of the "old" portion to red and the "new" portion to green.

github-diff-filename

Hosted with ♥ at GitHub