Use with startCompoundEdit() to group edit operations in a single undo.
()
| 1512 | * Use with startCompoundEdit() to group edit operations in a single undo. |
| 1513 | */ |
| 1514 | public void stopCompoundEdit() { |
| 1515 | if (compoundEdit != null) { |
| 1516 | compoundEdit.end(); |
| 1517 | undo.addEdit(compoundEdit); |
| 1518 | undoAction.updateUndoState(); |
| 1519 | redoAction.updateRedoState(); |
| 1520 | compoundEdit = null; |
| 1521 | } |
| 1522 | } |
| 1523 | |
| 1524 | |
| 1525 | public int getScrollPosition() { |
no test coverage detected