☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Version au 12/08/2016. Voir la dernière version.

Auteur
kufii
Notes
0 0 0
Version
1.0.5
Créé
03/08/2016
Mis à jour
12/08/2016
Taille
3,79 ko
Licence
N/A
S'applique à

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