☰

GitHub Editor - Change Default Settings

change default settings for the github editor

La data de 12-08-2016. Vezi ultima versiune.

Autor
kufii
Rating-uri
0 0 0
Versiune
1.0.5
Creat
03-08-2016
Actualizat
12-08-2016
Size
3,79 KB
Licență
N/A
Se aplică pe

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