void makeundo() { undos.add(blockcopy(sel)); pruneundos(undomegs<<20); };
void makeundo() { undos.emplace_back(blockcopy(sel)); pruneundos(undomegs << 20); }