message: Re-trigger refresh after a completed drag, if dragging interrupted it
diff: @@ -59,12 +59,13 @@ function useAutoRefresh() {
  const hasActivePromises = loadingTracker.active();
  const isVisible = !document.hidden;
  const isOnline = navigator.onLine;
  + const currentlyDragging = isDragging$.getCurrentValue();
  if (
  !hasActivePromises &&
  isVisible &&
  isOnline &&
  - !isDragging$.getCurrentValue() &&
  + !currentlyDragging &&
  // Don't auto reload on the optimizer page, it makes it recompute all the time
  !onOptimizerPage
  ) {
  @@ -79,6 +80,15 @@ function useAutoRefresh() {
  triggerTryRefresh();
  }
  });
  + } else if (currentlyDragging) {
  + // Same deal as above, but waiting for the drag to end
  + const unsubscribe = isDragging$.subscribe((dragging) => {
  + if (!dragging) {
  + unsubscribe();
  + // Trigger the event bus which will run the most recent version of this handler
  + triggerTryRefresh();
  + }
  + });
  } else {
  // If we didn't refresh because of any of the conditions above, restart the timer to try again next time
  startTimer();
  