int write_file(string path)
Writes the text displayed in the GnomeLess widget gl to the file specified by path.