void add_info(char_info const& info) { characters_.push_back(info); }
void add_info(int c, double width, double height) { characters_.push_back(new character_info(c, width, height)); }