htsign's blog

ノンジャンルで書くつもりだけど技術系が多いんじゃないかと思います

2020-06-16から1日間の記事一覧

Wandbox のエディタ設定を言語ごとに保存して自動で切り替えする UserScript

表題の通り。 Wandbox さん非常に便利なんですが、言語を切り替えてもエディタ設定は切り替わらないんですよね。 例えば F# はタブ文字をインデントに使えませんが、Go はタブ文字でのインデントを推奨しています。 これら言語を切り替えるときに設定も都度…