[[JDeveloper 10g]] **キーバインドの変更 +メニューの「ツール」→「設定」で、設定ダイアログを開く +「アクセラレータ」を選択 +「初期設定のロード」により、emacsキーバインディングなどが設定可能 &ref(KeyBind.png); ----