Viivi の設定パネル一覧

設定パネルは IDE で使える最も簡単で直感的な Viivi のカスタマイズ方法です．
IDE モードの初期状態，停止状態，および終了状態において， コントローラのメニューバーから「設定」を選択することにより，

• カーネル設定パネル
• IDE 設定パネル

の2種類の設定パネルを表示させることができます．

[注意]
設定パネルについてのこのページは現在編集中です．
ここにはまだ詳細な説明がありませんが，引数コマンドや定義済みの設定用手続きとは異なり， 設定パネルは自己説明的に表示されますから どなたでも簡単に使えると思います．
したがって他のカスタマイズ方法に慣れるまでは， 設定パネルを使って Viivi をカスタマイズすることを強くお勧めします．