キーボード・ショートカットの変更
各種JDeveloperコマンドのキーボード・ショートカットを変更するには、
「ツール」
「設定」
「アクセラレータ」
を選択します。