| 1312 | numundo = backupeditundo(tmp, MAXHEADEREXTRA, MAXHEADEREXTRA); |
| 1313 | headerextras.add(new headerextra(tmp.length(), HX_EDITUNDO, tmp.getbuf())); |
| 1314 | loopv(::todoents) { todoents.add(::todoents[i]); todoentdescs.add(newstring(::todoentdescs[i])); } |
| 1315 | } |
| 1316 | |
| 1317 | ~xmap() |
nothing calls this directly
no test coverage detected