Method erase

test/MockEditorInterface.cpp:46–50

}

void MockedDocumentInfo::erase(TextPosition start, TextPosition length) {
  cur.data.erase(cur.data.begin() + start, cur.data.begin() + start + length);
  cur.style.erase(cur.style.begin() + start,
                  cur.style.begin() + start + length);
}

void MockedDocumentInfo::save_state() { past.push_back(cur); }