Text API

This API provides some more general operations on strings and data serialization into and back from strings.

  • text.detab(value: string, tabWidth: number): string
    Converts tabs in a string to spaces, while aligning the tags at the specified tab width. This is used for formatting text in term.write, for example.
  • text.padRight(value: string, length: number): string
    Pads a string with whitespace on the right up to the specified length.
  • text.padLeft(value: string, length: number): string
    Pads a string with whitespace on the left up to the specified length.
  • text.trim(value: string): string
    Removes whitespace characters from the start and end of a string.
  • text.wrap(value:string, width:number, maxWidth:number)
    Wraps the provided string to specified width.
  • text.wrappedLines(value:string, width:number, maxWidth:number)
    Returns a wrapper function around text.wrap.
  • text.tokenize(value:string)
    Splits the input string into a table, using space as the delimiter.

Contents