If you want the textual contents to be written to an external file, simply click on the window button `Export' or type meta-l meta-l. This will create a window with various options about how to export the window. The default is that the window is exported as LaTeX to a file in your home directory. Some LaTeX document parameters can be set as well. Optionally, you can export the window as straight text. In the future, we hope to add further options.