10 Run(char* initial_characters
, Style style
);
11 // Takes ownership of "initial characters", which must be null-terminated.
16 const char* bytes() { return characters
; }
19 void append_characters(const char* new_chars
, int num_bytes
);
20 void append_spaces(int num_spaces
);
21 void replace_characters(int column
, const char* new_chars
, int num_bytes
);
22 void insert_characters(int column
, const char* new_chars
, int num_bytes
);
24 void shorten_to(int new_length
);
25 void delete_first_characters(int num_chars
);
26 void delete_characters(int column
, int num_chars
);