GitHub Editor - Change Default Settings

change default settings for the github editor

2018/09/07のページです。最新版はこちら。

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください。
作者
kufii
評価
0 0 0
バージョン
1.1.18
作成日
2016/08/03
更新日
2018/09/07
大きさ
2.39KB
ライセンス
不明
対象サイト

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.

长期地址
遇到问题?请前往 GitHub 提 Issues。