GitHub Editor - Change Default Settings

Info
Quelltext
Versionen
Rückmeldungen (0)
Statistiken

GitHub Editor - Change Default Settings

change default settings for the github editor

Version vom 09.05.2018. Aktuellste Version

Skript installieren ?

Stellen Sie eine Frage, veröffentlichen Sie eine Bewertung oder melden Sie das Skript.

Autor

kufii

Bewertungen

0 0 0

Version

1.1.8

Erstellt am

03.08.2016

Letzte Aktualisierung

09.05.2018

Größe

2,38 KB

Lizenz

n/a

Wird angewandt auf

github.com

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.