扩展阅读
当前位置: 编程语言>java/jsp
java命名空间javax.swing.undo类undomanager的类成员方法: redo定义及介绍
发布时间:2014-2-18
本文导语:
redo
public void redo()
throws cannotredoexception
恢复适当的编辑。如果已调用了 end,则此方法调用超类,否则此方法对下一个编辑的索引和下一个有效编辑之间的所有编辑调用 redo,适当地更新下一个编辑的索引。
指定者:...