print_element_args
Description:
public void print_element_args (
StringBuilder buf,
int indent,
Element element)
Print the element argument in a human readable format in the given GString.
Parameters:
| buf |
the buffer to print the args in |
| indent |
initial indentation |
| element |
the element to print the args of |
