github-tabstop

add tabstop option for hard tabs (works for github/gist)

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!)

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
summivox
Installazioni giornaliere
0
Installazioni totali
7
Valutazione
0 0 0
Versione
0.2.0
Creato il
05/11/2015
Aggiornato il
02/03/2016
Dimensione
2,47 KB
Licenza
Non disponibile
Applica a

Hard-tab-indented source code, when displayed by Github/Gist, has hard tabs (\ts) displayed in the browser as-is, which are usually rendered as 8 spaces in modern browsers. This is often undesirable (especially for golang code, where the standard specifies 4-space hard tabs).

After an ignored feature request of user-changeable tabstop to Github, I decided to implement this as a userscript instead.

EDIT: Although github sort of added the feature through an obsecure query string, I still find it helpful.

Enjoy!