code: def file_renamed_in_data_in_editorstack(self, editorstack_id_str,
                                              original_filename, filename):
          
          for editorstack in self.editorstacks:
              if str(id(editorstack)) != editorstack_id_str:
                  editorstack.rename_in_data(original_filename, filename)
docs: A file was renamed in data in editorstack, this notifies others