Editor Settings
エディタの設定を変更します。
変更した内容はその場で保存されます。
エラーコンソールの有効化
console.error() / console.warn() の出力ペインを表示します。
キャッシュの有効化
エディタを開いた際に、最後に編集していた内容を復元します。
テーマの変更
エディタに適用する配色を変更します。
フォントサイズ
エディタの文字の大きさを変更します。
折り返し
長い行をエディタの幅で折り返します。
ミニマップ
エディタ右側にコード全体の縮小表示を出します。
標準入出力ペインのサイズ
入力・出力ペインの高さを変更します。
実行タイムアウト
この時間を超えた実行は打ち切ります。無限ループを書いてしまってもタブは固まりません。
設定の初期化
保存されたコードや入出力を含め、すべてを初期状態に戻します。