2017年9月12日 8:54 am #24125 qtvParticipantご回答ありがとうございます。終了したときのブックマークだけを使用したいことがあるため、「ワークスペースにはブックマークを保存しない」というようなオプションがあるとありがたいと思いました。