message: Remove try catch in dependent file search
diff: @@ -123,25 +123,20 @@ export class Manager {
  if (path.extname(inputFilePath) === '') {
  inputFilePath += '.tex'
  }
  - if (!this.texFiles.has(inputFilePath)) {
  + if (this.texFiles.has(inputFilePath))
  + continue
  + if (fs.existsSync(inputFilePath)) {
  this.texFiles.add(inputFilePath)
  - try {
  this.findDependentFiles(inputFilePath)
  - } catch (err) {
  - if (tryAppendTex && (err.code === 'ENOENT' || err.code === 'EISDIR')) {
  - // It's possible that the filename was a .tex file with
  - // a period in it (intro.math.tex)
  -
  - // Remove this filename from the checked list...
  - this.texFiles.delete(inputFilePath)
  - // ...add the .tex extension...
  + }
  + else {
  inputFilePath += '.tex'
  + if (fs.existsSync(inputFilePath)) {
  this.texFiles.add(inputFilePath)
  - // ...and try again. If this fails, don't try appending
  - // .tex any more.
  - this.findDependentFiles(inputFilePath, false)
  - }
  + this.findDependentFiles(inputFilePath)
  }
  + else
  + this.extension.logger.addLogMessage(`File not found: ${inputFilePath}`)
  }
  }
  