Header menu logo B2R2

PrintingUtils Module

Provides printing utility functions used in RearEnd.

Functions and values

Function or value Description

flush ()

Full Usage: flush ()

Parameters:
    () : unit

Flushes the output buffer, ensuring that all pending output is written out.

() : unit

printDoubleHorizontalRule ()

Full Usage: printDoubleHorizontalRule ()

Parameters:
    () : unit

Prints a double horizontal rule.

() : unit

printSectionTitle title

Full Usage: printSectionTitle title

Parameters:
    title : string

Prints a section title.

title : string

printSingleHorizontalRule ()

Full Usage: printSingleHorizontalRule ()

Parameters:
    () : unit

Prints a single horizontal rule.

() : unit

printSubsectionTitle title

Full Usage: printSubsectionTitle title

Parameters:
    title : string

Prints a subsection title.

title : string

printSubsubsectionTitle title

Full Usage: printSubsubsectionTitle title

Parameters:
    title : string

Prints a subsubsection title.

title : string

resetToDefaultTwoColumnConfig ()

Full Usage: resetToDefaultTwoColumnConfig ()

Parameters:
    () : unit

Resets the table configuration to the default two-column format.

() : unit

setTableColumnFormats colfmts

Full Usage: setTableColumnFormats colfmts

Parameters:

Sets the column formats of the table.

colfmts : TableColumnFormat[]

setTableConfig indent gap cols

Full Usage: setTableConfig indent gap cols

Parameters:
Modifiers: inline

Sets the table configuration according to the given configuration.

indent : int
gap : int
cols : TableColumnFormat[]

Type something to start searching.