扩展阅读
当前位置: 编程语言>java/jsp
java命名空间javax.swing.undo类undomanager的类成员方法: trimedits定义及介绍
发布时间:2014-2-18
本文导语:
trimedits
protected void trimedits(int from,
int to)
移除指定范围内的编辑。对给定范围内的所有编辑(包括两端,以相反顺序)调用 die, 并从编辑列表中移除它们。如果 from > to,则此方法没有任何效果。
参数...