docs: def _notify_deleted_file(self):
          """
          Notify user from external file deletion.
          """
          self.file_deleted.emit(self.editor)
          # file deleted, disable file watcher
          self.enabled = False