Lab.【ピックマイコン】サヌキテックネット「ものづくり:make」を楽しみながら学ぶ人へ向けた独習サポートサイト。Lab.PICマイコンLab.では、PICマイコンに関する情報やPICマイコンを使った電子工作を紹介しています。IDEのオプション設定項目(Plugins)を紹介します。IDEのバージョンは、v4.05(2017/11/01版)です。3-10-1.オプション設定画面の表示メニューから、[Tools]>[Options]を選択します。IDEにインストールされたプラグインを設定する項目です。Options画面の「Plugins」をクリックします。図3-10-2-1.Plugins(プラグイン)プラグインがインストールされていない場合は何も表示されません。設定画面のないプラグインもあります。Configuratorというプラグインの設定画面です。設定内容については、各プラグインの使用方法に従います。Configuratorの設定画面なお、プラグインのインストールは、メニューから[Tools]>[Plugins]を選択します。IDE」の目次へ戻るこの記事を読んだ人は、こんな記事にも興味があります。Lab.PICマイコンLab.では、PICマイコンに関する情報やPICマイコンを使った電子工作を紹介しています。泉保宗也(せんぼむねや)。