☰

GitHub Editor - Change Default Settings

change default settings for the github editor

Version vom 07.05.2018. Aktuellste Version

Autor
kufii
Bewertungen
0 0 0
Version
1.1.4
Erstellt am
03.08.2016
Letzte Aktualisierung
07.05.2018
Größe
2,38 KB
Lizenz
n/a
Wird angewandt auf

With this script you can change the default tab style, tab width, and wrap mode of the built in editor that GitHub uses. You can change your settings using the 'Github Editor Settings' menu command.