629630631632633634635636637638639
public void run() { op.apply(new DocOpCursor() { @Override public void deleteCharacters(String chars) { opStringifier.deleteCharacters(chars); runTarget(chars.length()); matchUp(); } @Override
626627628629630631632633634635636