code: def _write_to_file(self, fileinfo, filename):
          
          txt = to_text_string(fileinfo.editor.get_text_with_eol())
          fileinfo.encoding = encoding.write(txt, filename, fileinfo.encoding)
docs: Low-level function for writing text of editor to file.
  
          Args:
              fileinfo: FileInfo object associated to editor to be saved
              filename: str with filename to save to
  
          This is a low-level function that only saves the text to file in the
          correct encoding without doing any error handling.