☰

GitHub Diff Filename

A userscript that highlights filename & permission alterations

Come installare

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Come installare

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Autore
Mottie
Installazioni giornaliere
0
Installazioni totali
55
Valutazione
2 0 0
Versione
1.1.6
Creato il
27/08/2017
Aggiornato il
17/02/2024
Dimensione
3,1 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