unsigned num_characters() const { return characters_.size(); }
void add_info(char_info const& info) { characters_.push_back(info); }
/** Resets object to initial state. */ void clear(void) { text_ = ""; characters_.clear(); }
std::size_t num_characters() const { return characters_.size(); }
// Resets object to initial state. void clear() { text_.remove(); characters_.clear(); }
void add_info(int c, double width, double height) { characters_.push_back(new character_info(c, width, height)); }