(DocumentEvent e)
| 1838 | } |
| 1839 | |
| 1840 | public void insertUpdate(DocumentEvent e) { |
| 1841 | if (!isInserting && !textarea.isOverwriteEnabled() && isDirectEdit()) { |
| 1842 | endTextEditHistory(); |
| 1843 | } |
| 1844 | |
| 1845 | if (!textarea.isOverwriteEnabled()) { |
| 1846 | isInserting = true; |
| 1847 | } |
| 1848 | } |
| 1849 | |
| 1850 | public void changedUpdate(DocumentEvent e) { |
| 1851 | endTextEditHistory(); |
nothing calls this directly
no test coverage detected