code: def cmd_loadfile(args):
      '''callback from menu to load a log file'''
      if len(args) != 1:
          fileargs = " ".join(args)
      else:
          fileargs = args[0]
      if not os.path.exists(fileargs):
          print("Error loading file ", fileargs);
          return
      if os.name == 'nt':
          #convert slashes in Windows
          fileargs = fileargs.replace("\\", "/")
      loadfile(fileargs.strip('"')f cmd_loadfile(args):
      '''callback from menu to load a log file'''
      if len(args) != 1:
          fileargs = " ".join(args)
      else:
          fileargs = args[0]
      if not os.path.exists(fileargs):
          print("Error loading file ", fileargs);
          return
      if os.name == 'nt':
          #convert slashes in Windows
          fileargs = fileargs.replace("\\", "/")
      loadfile(fileargs.strip('"'))
docs: callback from menu to load a log file