From f830bc2d2a2c19a3f85ebae17632145d29211dfd Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Fri, 14 Aug 2026 16:22:51 +0200
Subject: [PATCH] editor: don't refresh debug state if line hasn't changed

---
 src/ide/views/editors.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts
index 66c7d5b4..f4cf7b51 100644
--- a/src/ide/views/editors.ts
+++ b/src/ide/views/editors.ts
@@ -608,7 +608,7 @@ export class SourceEditor implements ProjectView {
 
   refreshDebugState(moveCursor: boolean) {
     var line = this.getActiveLine();
-    if (!line && !this.currentDebugLine && !moveCursor) {
+    if (!moveCursor && (line === this.currentDebugLine || (!line && !this.currentDebugLine))) {
       return;
     }