Skip to content

Commit 6830029

Browse files
Juan EscuderoJuan Escudero
authored andcommitted
fix renaming of file when jumping code
1 parent 6b1b784 commit 6830029

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ export abstract class CodeJumper {
9191

9292
private protectFromAccidentalEditing(document_widget: IDocumentWidget) {
9393
let editor_widget = document_widget as IDocumentWidget<FileEditor>;
94-
editor_widget.title.label = editor_widget.title.label + ' (external)';
94+
editor_widget.title.label = editor_widget.title.label + '';
9595
let editor = editor_widget.content.editor;
9696
let disposable = editor.addKeydownHandler(
9797
(editor: IEditor, event: KeyboardEvent) => {

0 commit comments

Comments
 (0)