338339340341342343344345346347348
return; } editor.queue(buf, new RunLater<Buf>() { @Override public void run(Buf buf) { buf.cancelTimeout(); if (state.bufs != null) { state.bufs.remove(deleteBuf.id); state.pathsToIds.remove(buf.path); } if (!deleteBuf.unlink) {