docs: def download_log_of_current_script():
      """download log of current python script from EV3"""
  
      try:
          #Return None, if script is not saved and user closed file saving window, otherwise return file name.
          src_file = get_workbench().get_current_editor().get_filename(False)
          if src_file is None:
              return
          download_log(src_file)
      except Exception:
          error_msg = traceback.format_exc(0)+'\n'
          showerror("Error", error_msg)