src/share/classes/javax/swing/undo/StateEdit.java
Print this page
*** 168,179 ****
/**
* Remove redundant key/values in state hashtables.
*/
protected void removeRedundantState() {
! Vector<Object> uselessKeys = new Vector<Object>();
! Enumeration myKeys = preState.keys();
// Locate redundant state
while (myKeys.hasMoreElements()) {
Object myKey = myKeys.nextElement();
if (postState.containsKey(myKey) &&
--- 168,179 ----
/**
* Remove redundant key/values in state hashtables.
*/
protected void removeRedundantState() {
! Vector<Object> uselessKeys = new Vector<>();
! Enumeration<Object> myKeys = preState.keys();
// Locate redundant state
while (myKeys.hasMoreElements()) {
Object myKey = myKeys.nextElement();
if (postState.containsKey(myKey) &&