message: Add log messages when SyncTeX fails.
diff: @@ -215,6 +215,7 @@ export class Commander {
  }
  synctex() {
  + try {
  this.extension.logger.addLogMessage('SYNCTEX command invoked.')
  if (!vscode.window.activeTextEditor || !this.extension.manager.hasTexId(vscode.window.activeTextEditor.document.languageId)) {
  this.extension.logger.addLogMessage('SyncTeX fails. The document of the active TextEditor is not a TeX document.')
  @@ -228,6 +229,12 @@ export class Commander {
  pdfFile = this.extension.manager.tex2pdf(this.extension.manager.rootFile)
  }
  this.extension.locator.syncTeX(undefined, undefined, pdfFile)
  + } catch(e) {
  + if (e instanceof Error) {
  + this.extension.logger.logError(e)
  + }
  + throw e
  + }
  }
  synctexonref(line: number, filePath: string) {
  