☰

GitHub Editor - Change Default Settings

change default settings for the github editor

À partir de 2016-08-12. Voir la dernière version.

Auteur
kufii
Évaluations
0 0 0
Version
1.0.5
Créer
2016-08-03
Mis à jour
2016-08-12
Taille
3,79 ko
Licence
S/O
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