rt
------解决方案--------------------------------------------------------
Swing提供了UndoManager,不过还是要自己开发组装下。
参见:
http://blog.sina.com.cn/s/blog_6d0730c70100npmo
------解决方案--------------------------------------------------------
设一个时间n。
n长时间没有键盘事件了,再记一次undo。
貌似搜索也找不到现成的。