RichTextBuilder Type
Accumulates rich text. Adjacent parts with the same classification are merged, so that where one append ended is not visible in the result. AppendString has the same name and signature as the StringBuilder extension in lib.fs, so that message formatting code can be moved over to rich text without being rewritten, and can then be converted to emit classified parts one message at a time.
Constructors
| Constructor |
Description
|
|
|
Instance members
| Instance member |
Description
|
|
Appends a message whose arguments are spliced in by the given function, for messages that mix classified and plain arguments. See RichMessage.
|
Full Usage:
this.Append
Parameters:
ResourceString<(string -> string -> string -> string -> string)>
a0 : RichText
a1 : RichText
a2 : RichText
a3 : RichText
|
Appends a message from a resource file, classifying each of its arguments
|
Full Usage:
this.Append
Parameters:
ResourceString<(string -> string -> string -> string)>
a0 : RichText
a1 : RichText
a2 : RichText
|
Appends a message from a resource file, classifying each of its arguments
|
Full Usage:
this.Append
Parameters:
ResourceString<(string -> string -> string)>
a0 : RichText
a1 : RichText
|
Appends a message from a resource file, classifying each of its arguments
|
|
Appends a message from FSStrings, classifying each of its arguments. The FSComp accessors are generated with overloads taking classified arguments, so those are called directly and their result appended; the FSStrings ones are declared by hand and have no such overload.
|
|
Appends the parts of another rich text
|
|
Appends a single tagged part
|
Full Usage:
this.Append
Parameters:
string
|
Appends unclassified text, tagged TextTag.Text
|
Full Usage:
this.IsEmpty
Returns: bool
|
Gets whether nothing has been appended
|
|
Gets the accumulated text
|
fantomas