思ったけれどもなぜか使えない。リフレッシュのためのメニューなどがないのだよね。上のテキストファイル用のテキストエディタを別に探してみることにした。側で更新があれば勝手に再読み込みをしてくれるのがとても便利なのだけれど、意外に同様の挙動をするものが無い。再読み込みしてくれない。側で更新された場合に、次にアプリを開いた時に「Loading...」と出て開いているファイルを再読み込みはしてくれるのでまあ許容範囲かな。