コード・エディタのブックマーク・オプションの設定
コード・エディタのブックマーク・オプションを設定するには、次のようにします。
- メイン・メニューから、「ツール」->「設定」を選択します。
- 「設定」ダイアログで、「コード・エディタ」ノードを開きます。
- 「ブックマーク」ノードを選択します。
- 「ブックマーク」ページで、エディタまたはJDeveloperを終了した後のブックマークの処理方法、ブックマーク間の移動方法、およびすでに存在しないと考えられる行に付けられた、ファイルの最後にあるブックマークの処理方法を決定します。
詳細は、[F1]を押すか、ダイアログ・ページ内で「ヘルプ」をクリックしてください。
- 「OK」をクリックします。
関連項目
コード・エディタ環境のカスタマイズ
IDEのキーマップの使用
ソース・ファイルの編集
コード・エディタについて
XMLエディタについて