☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Versione datata 10/08/2016. Vedi la nuova versione l'ultima versione.

Autore
kufii
Valutazione
0 0 0
Versione
1.0.1
Creato il
03/08/2016
Aggiornato il
10/08/2016
Dimensione
3,82 KB
Licenza
Non disponibile
Applica a

With this script you can change the default tab style, tab width, and wrap mode of the built in editor that GitHub uses

长期地址
遇到问题？请前往 GitHub 提 Issues。