editor: use std::vector for storage of lines