output.tag.set_property("PINCH", config.pinch);
output.tag.set_property("RADIUS", config.radius);
output.append_tag();
+ output.tag.set_title("/WHIRL");
+ output.append_tag();
+ output.append_newline();
output.terminate_string();
// data is now in *text
}