message: Fix Select line in gotoSection
diff: @@ -209,11 +209,14 @@ export class Commander {
  gotoSection(filePath: string, lineNumber: number) {
  this.extension.logger.addLogMessage(`GOTOSECTION command invoked. Target ${filePath}, line ${lineNumber}`)
  + const activeEditor = vscode.window.activeTextEditor
  vscode.workspace.openTextDocument(filePath).then((doc) => {
  vscode.window.showTextDocument(doc).then((_) => {
  - //editor.selection = new vscode.Selection(new vscode.Position(lineNumber,0), new vscode.Position(lineNumber,0))
  vscode.commands.executeCommand('revealLine', {lineNumber, at: 'center'})
  + if (activeEditor) {
  + activeEditor.selection = new vscode.Selection(new vscode.Position(lineNumber, 0), new vscode.Position(lineNumber, 0))
  + }
  })
  })
  