JDeveloperでは、キーボードの操作、IDEの表示属性、時間設定などユーザーの必要に応じた様々なカスタマイズ機能が提供されています。すべてのカスタマイズ機能は、「設定」ダイアログにまとめられています。必要に応じて操作性を最適化するためには、次のデフォルト設定を、使いやすくカスタマイズした設定に変更することをお薦めします。
JDeveloperのデフォルト・アクセラレータ・キーを追加および変更できます。「ツール」「プリファレンス」
ショートカット・キー・ページ。方法使い慣れた初期設定キーマップをロードすることもできます。方法
マップ済アクセラレータ・キーの変更以外にも、[Insert]キーを押しながら[F3]キーを押して、アクセラレータ・キーの組合せを入力することによって、競合するJDeveloperのアクセラレータ・キーをJAWSに渡すことができます。
JDeveloperのデフォルトのルック&フィールは、「ツール」「プリファレンス」
環境ページで変更できます。方法ルック&フィールによって、メニューやボタンのようなオブジェクトの表示色や形状が決まります。
エディタに表示されるフォントおよびフォント・サイズは、「ツール」「プリファレンス」
「コード・エディタ」
フォント・ページで変更できます。方法
ソース・エディタで構文ハイライトに使用されるフォント・スタイルおよび前景色と背景色は、「ツール」「プリファレンス」
「コード・エディタ」
構文の色指定ページで変更できます。方法
ソース・エディタの行番号は、「ツール」「プリファレンス」
「コード・エディタ」
行の左余白ページで変更できます。方法
コード・インサイトが遅れている秒数の指定やコード・インサイトの無効化は、「ツール」「プリファレンス」
「コード・エディタ」
コード・インサイト・ページで指定できます。方法
「デバッガ」に表示される列と情報のタイプは、「ツール」「プリファレンス」
デバッガ・ページで選択できます。方法
JDeveloperのアクセシビリティについて
アクセシビリティをサポートするJDeveloperの機能
JDeveloperの高度なビジュアル機能
Copyright © 1997, 2009, Oracle. All rights reserved.