2010-05-28 Eclipse のエディタは Undo が無制限ではないのか Java 今日気が付いた。Undo history size という設定があって、ここが 200 になっていたので 99999 にしてみた。Java の世界なので、メモリの許す限り、とかって風にはならないだな。しかも日本語の入力途中がすべて Undo buffer に入っているというちょっと良くない作りになっている。