From c7dbda09c036a0cf4508bd1f759e621488908a2b Mon Sep 17 00:00:00 2001
From: Kilian Schuettler <kilian.schuettler@gmail.com>
Date: Thu, 27 Mar 2025 03:39:34 +0100
Subject: [PATCH] debugger set finished

---
 src/display/api.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/display/api.js b/src/display/api.js
index d85fa6dfe..c97a4eed6 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -3603,6 +3603,9 @@ class InternalRenderTask {
 
         this.callback();
       }
+      if (this.stepper) {
+        this.stepper.finished = true;
+      }
     }
   }
 }