1 | void propertyChange(PropertyChangeEvent e) {↵ | | 1 | void propertyChange(PropertyChangeEvent e) {↵
|
2 | Object o = e.getNewValue();↵ | | 2 | Object o = e.getNewValue();↵
|
3 | if (o instanceof JComponent)↵ | | 3 | if (o instanceof JComponent)↵
|
4 | focusOwner = (JComponent) o;↵ | | 4 | focusOwner = (JComponent) o;↵
|
5 | else↵ | | 5 | else↵
|
6 | focusOwner = null;↵ | | 6 | focusOwner = null;↵
|
|
7 | }↵ | | 7 | }↵
|
|
8 | public void actionPerformed(ActionEvent evt) {↵ | | 8 | public void actionPerformed(ActionEvent evt) {↵
|
9 | if (focusOwner == null)↵ | | 9 | if (focusOwner == null)↵
|
10 | return;↵ | | 10 | return;↵
|
|
11 | if (focusOwner instanceof JTextComponent) {↵ | | 11 | if (focusOwner instanceof JTextComponent) {↵
|
12 | Document doc = ((JTextComponent)focusOwner).getDocument();↵ | | 12 | Document doc = ((JTextComponent) focusOwner).getDocument();↵
|
13 | ↵ | | |
|
14 | if ( doc instanceof UndoDocument) {↵ | | 13 | if (doc instanceof UndoDocument) {↵
|
15 | ((UndoDocument)doc).undo();↵ | | 14 | ((UndoDocument) doc).redo();↵
|
16 | }↵ | | 15 | }↵
|
17 | }↵ | | 16 | }↵
|
18 | | | 17 |
|