write_comment


Description:

public void write_comment (string text)

Writes the specified text as comment.

Parameters:

text

the comment text