Use Editor::NotifyModified instead of Document::NotifyModified in Editor::SetTabstops
Use std::vector instead of SplitVector for TabstopList