docs: def leaveEvent(self, event):
          """
          Removes scope decorations and background from the editor and the panel
          if highlight_caret_scope, else simply update the scope decorations to
          match the caret scope.
  
          """
          super(FoldingPanel, self).leaveEvent(event)
          QtWidgets.QApplication.restoreOverrideCursor()
          self._highlight_runner.cancel_requests()
          if not self.highlight_caret_scope:
              self._clear_scope_decos()
              self._mouse_over_line = None
              self._current_scope = None
          else:
              self._block_nbr = -1
              self._highlight_caret_scope()
          self.editor.repaint()