GitHub Editor - Change Default Settings

Info
Quelltext
Versionen
Rückmeldungen (0)
Statistiken

GitHub Editor - Change Default Settings

change default settings for the github editor

Skript installieren ?

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

Autor

kufii

Installationen heute

Installationen gesamt

Bewertungen

2 0 0

Version

1.1.21

Erstellt am

03.08.2016

Letzte Aktualisierung

25.05.2024

Größe

2,57 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.