15:40こんな感じで、undo履歴を表示して、好きな位置から編集を始められる機能。 このツリーの場合、 ・15:21にファイルを開いた。 ・15:33まで普通に編集した。 ・少し前の状態までundoして、15:35にそこから再度編集を始めた。 ・そのまま15:38まで普通に…

15:38 *-------* 15:35 15:53

15:21 15:33