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

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

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

    詳細は、[F1]を押すか、ダイアログ・ページ内で「ヘルプ」をクリックしてください。

  5. 「OK」をクリックします。

ソース・エディタ環境のカスタマイズ
IDEのキーマップの使用
ソース・ファイルの編集

Javaソース・エディタについて
XMLエディタについて