Use with startCompoundEdit() to group edit operations in a single undo.
()
| 1773 | * Use with startCompoundEdit() to group edit operations in a single undo. |
| 1774 | */ |
| 1775 | public void stopCompoundEdit() { |
| 1776 | if (compoundEdit != null) { |
| 1777 | compoundEdit.end(); |
| 1778 | undo.addEdit(compoundEdit); |
| 1779 | undoAction.updateUndoState(); |
| 1780 | redoAction.updateRedoState(); |
| 1781 | compoundEdit = null; |
| 1782 | } |
| 1783 | } |
| 1784 | |
| 1785 | |
| 1786 | public int getScrollPosition() { |
no test coverage detected