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

「設定」ダイアログの「拡張機能マネージャ」ページを使用して、JDeveloperの起動時にインストール済のどの機能をロードするかを決定します。

使用可能な構成のいずれかをドロップダウン・リストから選択するか、機能を個別に選択または選択解除して構成を変更します。必要に応じて、変更を新規の構成として保存できます。

変更完了後に選択内容を有効にするには、JDeveloperを終了して再起動する必要があります。

構成
オプションで、ドロップダウン・リストから構成を選択します。構成ごとに、ロードする拡張機能の定義済のセットを選択します。すべての拡張機能をロードする場合、「すべて」を選択します。
別名保存
「使用する拡張機能」ツリーで現在選択されている拡張機能を、新規構成として定義する場合にクリックします。名前を割り当てる必要があります。新規構成は、「構成」ドロップダウン・リストに追加されます。
削除
現在選択されている構成を削除する場合にクリックします。構成は、「構成」ドロップダウン・リストから削除されます。構成を削除しても、拡張機能のリストから拡張機能は削除されません。
使用する拡張機能
拡張機能の階層を参照し、個々の拡張機能、またはブランチのすべての拡張機能を選択および選択解除します。拡張機能のチェックボックスを選択して、該当する拡張機能およびその子を選択または選択解除します。

注意: 拡張機能を選択すると、その拡張機能で必要なその他の拡張機能(存在する場合)が選択されます。拡張機能の選択を解除すると、その拡張機能で必要なその他の拡張機能(存在する場合)の選択が解除されます。

選択された拡張機能の機能
選択した拡張機能の簡単な説明が表示されます。
更新の確認
IDE更新ウィザードを起動して、リスト表示された拡張機能に対する追加の拡張機能またはパッチをダウンロードおよびインストールする場合に、クリックします。

拡張機能の管理