☰

GitHub Editor - Change Default Settings

change default settings for the github editor

נכון ליום 30-01-2022. ראה הגרסה האחרונה.

יוצר
kufii
דירוגים
0 0 0
גרסה
1.1.20
נוצר
03-08-2016
עודכן
30-01-2022
Size
2.56 קילו-בייט
רישיון
לא זמין
חל על

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.