ソース・エディタのブックマーク・オプションの設定

ソース・エディタのブックマーク・オプションを設定するには、次のようにします。

  1. メイン・メニューから、ツール」次の選択プリファレンス」を選択します。詳細は、「プリファレンス」ダイアログで[F1]を押すか、ヘルプ」をクリックしていつでも参照できます。
  2. 「プリファレンス」ダイアログで、「コード・エディタ」ノードを開きます。
  3. 「ブックマーク」ノードを選択します。
  4. ブックマーク・ページで、エディタまたはJDeveloperを終了した後のブックマークの処理方法、ブックマーク間の移動方法、およびすでに存在しないと考えられる行に付けられた、ファイルの最後にあるブックマークの処理方法を決定します。詳細
  5. 「OK」をクリックします。

ソース・エディタのプリファレンスの設定