セッションデータファイルに任意の名前を付けて保存する方法です。録画を停止すると、「名前を付けて保存」ダイアログボックスが表示されます。セッション内容を保存する場合は、任意の名前を入力して「保存」ボタンをクリックします。デフォルトのファイル名は、「SesRec.lhs」です。セッション内容を保存しない場合は、「キャンセル」ボタンをクリックします。
