Update packages/code-jumpers/src/jumpers/jumper.ts

replace it with a comment altogether

Co-authored-by: Michał Krassowski <[email protected]>

Author: Juan Escudero

packages/code-jumpers/src/jumpers/jumper.ts

@@ -91,7 +91,9 @@ export abstract class CodeJumper {
 
   private protectFromAccidentalEditing(document_widget: IDocumentWidget) {
     let editor_widget = document_widget as IDocumentWidget<FileEditor>;
-    editor_widget.title.label = editor_widget.title.label + '';
+    // We used to adjust `editor_widget.title.label` here but an upstream
+    // bug (https://github.com/jupyterlab/jupyterlab/issues/10856) prevents
+    // us from doing so anymore.
     let editor = editor_widget.content.editor;
     let disposable = editor.addKeydownHandler(
       (editor: IEditor, event: KeyboardEvent) => {