message: quick fix for synctex issue
diff: @@ -45,15 +45,7 @@ export class Locator {
  }
  record[key] = value
  }
  - if ('input' in record && 'column' in record && 'line' in record) {
  - return {
  - input: record.input,
  - line: record.line,
  - column: record.column
  - } as SyncTeXRecord
  - } else {
  - return undefined
  - }
  + return record
  }
  syncTeX() {
  