☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Fra 10.08.2016. Se den seneste versjonen.

Forfatter
kufii
Vurderinger
0 0 0
Versjon
1.0.1
Lagd
03.08.2016
Oppdatert
10.08.2016
Size
3,8 kB
Lisens
I/T
Gjelder

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