1 | public void undo(JEditTextArea textArea)↵ | | 1 | public void redo(JEditTextArea textArea)↵
|
2 | {↵ | | 2 | {↵
|
3 | if(undoMgr == null)↵ | | 3 | if(undoMgr == null)↵
|
4 | return;↵ | | 4 | return;↵
|
|
5 | if(!isEditable())↵ | | 5 | if(!isEditable())↵
|
6 | {↵ | | 6 | {↵
|
7 | textArea.getToolkit().beep();↵ | | 7 | Toolkit.getDefaultToolkit().beep();↵
|
8 | return;↵ | | 8 | return;↵
|
9 | }↵ | | 9 | }↵
|
|
10 | try↵ | | 10 | try↵
|
11 | {↵ | | 11 | {↵
|
12 | writeLock();↵ | | 12 | writeLock();↵
|
|
13 | setFlag(UNDO_IN_PROGRESS,true);↵ | | 13 | setFlag(UNDO_IN_PROGRESS,true);↵
|
14 | int caret = undoMgr.undo();↵ | | 14 | int caret = undoMgr.redo();↵
|
|
15 | if(caret == -1)↵ | | 15 | if(caret == -1)↵
|
16 | textArea.getToolkit().beep();↵ | | 16 | textArea.getToolkit().beep();↵
|
17 | else↵ | | 17 | else↵
|
18 | textArea.setCaretPosition(caret);↵ | | 18 | textArea.setCaretPosition(caret);↵
|
|
19 | fireTransactionComplete();↵ | | 19 | fireTransactionComplete();↵
|
20 | }↵ | | 20 | }↵
|
21 | finally↵ | | 21 | finally↵
|
22 | {↵ | | 22 | {↵
|
23 | setFlag(UNDO_IN_PROGRESS,false);↵ | | 23 | setFlag(UNDO_IN_PROGRESS,false);↵
|
|
24 | writeUnlock();↵ | | 24 | writeUnlock();↵
|
25 | | | 25 |
|