☰

GitHub Editor - Change Default Settings

change default settings for the github editor

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

Auteur
kufii
Notes
0 0 0
Version
1.0.1
Créé
03/08/2016
Mis à jour
10/08/2016
Taille
3,82 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