ついでにもう一つ。
>>550
ログはどの段階で捨てられるのでしょうか？
ワークスペースの削除はログも消えるのでしょうか？
すべてのタブを閉じる。なら消えないのでしょうか？