タグ: settings.json

VSCode には settings.json という設定ファイルがあって，これをいじることで自分好みのカスタマイズができます．実はこの settings.json にはデフォルトの設定とフォルダごとの設定があるのですが，上手に使い分けられるように TeX の自動コンパイル設定を例にして説明します．>> 続きを読む