add_text


Description:

public void add_text (string text)

Wraps State.add_text() and updates render's end_mark with state's end.

Parameters:

text

The text to add