GXml.Element.write_file – GXml-0.20 Reference Manual
write_file
Description:
public
void
write_file
(
File
f,
Cancellable
? cancellable =
null
)
throws
Error
Uses element's
GXml.Document
to write an XML to a file, serializing it.