message: fix: reveal file location should move the keyboard focus to the text editor
diff: @@ -379,6 +379,8 @@ export class InfoProvider implements Disposable {
  if (selection !== undefined) {
  editor.revealRange(selection, TextEditorRevealType.InCenterIfOutsideViewport);
  editor.selection = new Selection(selection.start, selection.end);
  + // ensure the text document has the keyboard focus.
  + window.showTextDocument(editor.document, { viewColumn: editor.viewColumn, preserveFocus: false });
  }
  }
  