[qtv]

ご回答ありがとうございます。

終了したときのブックマークだけを使用したいことがあるため、「ワークスペースにはブックマークを保存しない」というようなオプションがあるとありがたいと思いました。