()
| 1899 | |
| 1900 | |
| 1901 | void startTimerEvent() { |
| 1902 | endUndoEvent = new TimerTask() { |
| 1903 | public void run() { |
| 1904 | EventQueue.invokeLater(Editor.this::endTextEditHistory); |
| 1905 | } |
| 1906 | }; |
| 1907 | timer.schedule(endUndoEvent, 3000); |
| 1908 | // let the gc eat the cancelled events |
| 1909 | timer.purge(); |
| 1910 | } |
| 1911 | |
| 1912 | |
| 1913 | void endTextEditHistory() { |
no outgoing calls
no test coverage detected