This API provides some more general operations on strings and data serialization into and back from strings.
text.detab(value: string, tabWidth: number): string
term.write
, for example.text.padRight(value: string, length: number): string
text.padLeft(value: string, length: number): string
text.trim(value: string): string