public void copy_from(text_part other) {
start_ = other.start_;
len_ = other.len_;
fg = other.fg;
bg = other.bg;
underline = other.underline;
bold = other.bold;
italic = other.italic;
font_name = other.font_name;
text = other.text;
is_typed_search = other.is_typed_search;
is_find_search = other.is_find_search;
font_size = other.font_size;
modify_bg = other.modify_bg;
modify_fg = other.modify_fg;
}