import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.undo.*;
import javax.swing.event.*;
import javax.swing.text.*;
public JTextArea5() {
super("JTextArea");
jta.getDocument().addUndoableEditListener(this);
jta.getDocument().addDocumentListener(this);
message.setEditable(false);
getContentPane().add(p1);
getContentPane().add(p2);
theMenu.add(undoitem);
theMenu.add(redoitem);
bar.add(theMenu);
updateMenuItem();
setJMenuBar(bar);
setSize(300, 300);
edit.undo();
updateMenuItem();
message.append("- Undo -\n");
}
});
edit.redo();
updateMenuItem();
message.append("- Redo -\n");
}
});
} // end of JTextArea5
edit = ev.getEdit();
buf.append("undoableEdit:");
buf.append(edit.getPresentationName());
buf.append("\n");
message.append(buf.toString());
updateMenuItem();
}// end of undoableEditHappened()
public void updateMenuItem() {
if (edit != null) {
undoitem.setEnabled(edit.canUndo());
redoitem.setEnabled(edit.canRedo());
undoitem.setText(edit.getUndoPresentationName());
redoitem.setText(edit.getRedoPresentationName());
} else {
undoitem.setEnabled(false);
redoitem.setEnabled(false);
undoitem.setText("Undo");
redoitem.setText("Redo");
}
}// end of updateMenu()
debuf.append(de.getType());
debuf.append("Offset:");
debuf.append(de.getOffset());
debuf.append("Length:");
debuf.append(de.getLength());
Element Eroot
= jta.
getDocument().
getDefaultRootElement();
if (Echange == null) {
debuf.append("(No Element Change)");
} else {
debuf.append("Element Change:index");
debuf.append("Echange.getIndex()");
}
debuf.append("\n");
message.append(debuf.toString());
}
showDE(de);
}
showDE(de);
}
showDE(de);
}
public static void main
(String[] args
) {
}
});
f.show();
}
}