code: def re_run_file(self):
          
          if self.get_option('save_all_before_run'):
              self.save_all()
          if self.__last_ec_exec is None:
              return
          (fname, wdir, args, interact, debug,
           python, python_args, current, systerm,
           post_mortem, clear_namespace) = self.__last_ec_exec
          if not systerm:
              self.run_in_current_ipyclient.emit(fname, wdir, args,
                                                 debug, post_mortem,
                                                 current, clear_namespace)
          else:
              self.main.open_external_console(fname, wdir, args, interact,
                                              debug, python, python_args,
                                              systerm, post_mortem)
docs: Re-run last script