code: def file_saved_in_editorstack(self, editorstack_id_str,
                                    original_filename, filename):
          
          for editorstack in self.editorstacks:
              if str(id(editorstack)) != editorstack_id_str:
                  editorstack.file_saved_in_other_editorstack(original_filename,
                                                              filename)
docs: A file was saved in editorstack, this notifies others