code: def file_renamed(self, editor, new_filename):
          
          if editor is None:
              # This is needed when we can't find an editor to attach
              # the outline explorer to.
              # Fix issue 8813
              return
          editor_id = editor.get_id()
          if editor_id in list(self.editor_ids.values()):
              root_item = self.editor_items[editor_id]
              root_item.set_path(new_filename, fullpath=self.show_fullpath)
              self.__sort_toplevel_items()
docs: File was renamed, updating outline explorer tree