「設定」ダイアログ - 拡張機能マネージャ・ページ

起動時にJDeveloperでロードする拡張機能を選択する場合に使用します。

ドロップダウン・リストから拡張機能またはその組合せを選択します。または、拡張機能を個別に選択したり選択を解除して構成を変更します。変更内容は新規の構成として保存できます。

操作を終了した後、選択内容を有効にするにはJDeveloperを終了して再起動します。

使用する拡張機能
拡張機能の階層を参照し、個々の拡張機能、またはブランチのすべての拡張機能を選択および選択を解除します。該当する拡張機能およびその子を選択または選択を解除するには、拡張機能のチェック・ボックスを選択します。 注意: 拡張機能を選択すると、JDeveloperでは前提条件となる拡張機能が自動的に選択されます。拡張機能の選択を解除すると、それに依存する拡張機能の選択も自動的に解除されます。
選択した拡張機能の機能
選択した拡張機能の簡単な説明が表示されます。

JDeveloperへの外部ツールの追加