add paneName fallback to filename in editor.getPaneName() (compiler-e…

…xplorer#6773)
jmuddnv · Aug 18, 2024 · d83bb38 · d83bb38
1 parent 12f6bfc
commit d83bb38
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/static/panes/editor.ts b/static/panes/editor.ts
@@ -1914,6 +1914,8 @@ export class Editor extends MonacoPane<monaco.editor.IStandaloneCodeEditor, Edit
     override getPaneName(): string {
         if (this.filename) {
             return this.filename;
+        } else if (this.paneName) {
+            return this.paneName;
         } else {
             return this.currentLanguage?.name + ' source #' + this.id;
         }