ブックマーク機能はブックマーク登録されたツリー内のオブジェクトにジャンプする機能です。
ブックマーク登録したいオブジェクトを選択して、メニュー[編集]-[ブックマーク]-[ブックマーク登録]でブックマーク登録することができます。
メニュー[表示]-[ブックマークウィンドウ]で登録されたブックマークリストを表示することができます。
ブックマークリストに表示されたオブジェクトをダブルクリックすると、対象のオブジェクトにジャンプします。
| 項目 | 説明 |
|---|---|
| 前方検索 | 1つ前の検索結果にジャンプします。 |
| 後方検索 | 1つ後の検索結果にジャンプします。 |
| 削除ボタン | ブックマークリストで選択中のオブジェクトをブックマークから解除します。 |
| 閉じる | 検索画面を閉じます。 |