>>15
>>17
15みてパターンマッチにあるよなと思って確かめて初めて気づきました
次で治します

>>16
アプリがバックグラウンドに回った時点で自動的にタブのデータを保存してます(osのkill対策)
終了時のタブ保存は[終了]アクションをしたときの設定です
なので基本的にタブは保存されます
必要の無いときは[終了]アクションを使ってください(メモリ的にも)

>>12
テキストの大きさで変更できるのはあとはos側の設定だけですね