☰

GitHub Editor - Change Default Settings

change default settings for the github editor

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

Auteur
kufii
Évaluations
0 0 0
Version
1.0.2
Créer
2016-08-03
Mis à jour
2016-08-11
Taille
3,82 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