Save and Save As

Both buttons save the code in the editor to an external .tse file.