エディタツールバーのオプションの設定

ドキュメントウィンドウとリソースウィンドウの間の列には、次の作業に便利な一連のツールボタンがあります。

余白にブックマークを設定するには、[編集] > [ブックマークを切り換え] コマンドを選択します。ただし、ファイルを閉じるとブックマークは消えるので注意してください。

JRun Studio 入門
第 6 章 : ページの編集

エディタ ツールバーのオプションの設定