From feb7b3575486e309f4d2cee019eb9612ff491cca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Abril=20Rinc=C3=B3n=20Blanco?= Date: Sat, 29 Jun 2024 03:06:11 +0200 Subject: [PATCH] Fix paneRenaming not affecting source editor (#6611) --- static/panes/editor.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/static/panes/editor.ts b/static/panes/editor.ts index 37c482cf6..8116a2b52 100644 --- a/static/panes/editor.ts +++ b/static/panes/editor.ts @@ -291,6 +291,8 @@ export class Editor extends MonacoPane