code: def file_saved_in_other_editorstack(self, original_filename, filename):
          
          index = self.has_filename(original_filename)
          if index is None:
              return
          finfo = self.data[index]
          finfo.newly_created = False
          finfo.filename = to_text_string(filename)
          finfo.lastmodified = QFileInfo(finfo.filename).lastModified()
docs: File was just saved in another editorstack, let's synchronize!
          This avoids file being automatically reloaded.
  
          The original filename is passed instead of an index in case the tabs
          on the editor stacks were moved and are now in a different order - see
          issue 5703.
          Filename is passed in case file was just saved as another name.